Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Bøger - Pearson Education (US) - 9780321143068 - 20. august 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Leslie Lamport

Pris
£ 41,49

Bestilles fra fjernlager

Forventes klar til forsendelse 28. jul. - 1. aug.
Tilføj til din iMusic ønskeseddel
Eller

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

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


384 pages

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 20. august 2002
ISBN13 9780321143068
Forlag Pearson Education (US)
Antal sider 384
Mål 233 × 186 × 28 mm   ·   688 g
Sprog Engelsk