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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
preigu.de
40.55 EUR
Preis aktualisiert am: 03-11-2026 13:55:19
Siehe Produktangebot
Gesponsert
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Hugendubel
45.99 EUR
Preis aktualisiert am: 29-10-2026 04:22:00
Siehe Produktangebot

Allgemein

Marke
Leslie Lamport
MPN
Leslie Lamport Illustrations

Eigenschaften

Ähnliche Produkte

Specifying Big Data Benchmarks
Specifying Big Data Benchmarks
Aus48.99 EUR 4
Produkt anzeigen
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)
Aus102.14 EUR 3
Produkt anzeigen
Specifying Big Data Benchmarks
Specifying Big Data Benchmarks
Aus43.50 EUR 2
Produkt anzeigen
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Aus53.49 EUR 3
Produkt anzeigen
Software change management methods improvement
Software change management methods improvement
Aus79.00 EUR 2
Produkt anzeigen
The ATSA Method Specifying both System & User Interface Requirements
The ATSA Method Specifying both System & User Interface Requirements
Aus54.90 EUR 2
Produkt anzeigen
Menü