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

Addison-wesley Professional · ENSTK

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

EAN: 9780321143068

Preț la libris.ro

334,73 RON

Vezi oferta la libris.ro

Compară ofertele (1)

libris.ro

in stock

334,73 RON

La magazin

Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.

Descriere Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers - Leslie Lamport

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

Detalii

Brand
Addison-wesley Professional
Categorie
ENSTK
EAN / GTIN
9780321143068
Magazine
1
Disponibilitate
in stock

Produse similare