Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers

De (autor): Leslie Lamport

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

-10%

transport gratuit

PRP: 418.41 Lei

Acesta este Prețul Recomandat de Producător. Prețul de vânzare al produsului este afișat mai jos.

376.57Lei

418.41 Lei

Primești 376 puncte

Primești puncte de fidelitate după fiecare comandă! 100 puncte de fidelitate reprezintă 1 leu. Folosește-le la viitoarele achiziții!

Livrare in 2-4 saptamani

Descrierea produsului

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Detaliile produsului

Nr. pagini: 384

Părerea ta e inspirație pentru comunitatea Libris!