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

Leslie Lamport

Hinta

元 350,90

Tilattu etävarastosta

Arvioitu toimitus to - pe 7. - 15. elo

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

Eller

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

384 pages

Media	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	tiistai 20. elokuuta 2002
ISBN13	9780321143068
Tuottaja	Pearson Education (US)
Sivujen määrä	384
Mitta	233 × 186 × 28 mm · 688 g
Kieli	English

Näytä kaikki