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

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

Leslie Lamport

Pris
NOK 449

Bestillingsvarer

Forventes levert 30. jul - 7. aug
Legg til iMusic ønskeliste
Eller

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

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