Auf Lager:
1
Buch (Softcover): Fachbuch
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
The TLA+ Language and Tools for Hardware and Software Engineers
Produkt bewerten
Verlag:
Pearson Unsere-Artikel-Nr.: G5KD53L
EAN: 9780321143068
Auf Lager:
1
Zustellung: Mi, 08.07.2026
Versand: Kostenlos
-3.8 %
CHF 45.50
CHF 43.75
Spezifikationen
Sprache
- Englisch
Autor
- Leslie Lamport
Erscheinungsjahr
- 2002
Format
- Buch (Softcover)
Anzahl Seiten
- 384