Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Bøker - Pearson Education (US) - 9780321143068 - 20. august 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1. utgave

Pris
NOK 419

Bestillingsvarer

Forventes levert 15. - 23. okt
Få varsel om nye utgivelser fra Leslie Lamport

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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

384 pages

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 20. august 2002
ISBN13 9780321143068
Utgivere Pearson Education (US)
Antall sider 384
Mål 233 × 186 × 28 mm   ·   688 g
Språk Engelsk  

Mer med Leslie Lamport

Vis alle

Mer fra samme **utgiver**

Se alt med Leslie Lamport