Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 17:42:27
Siehe Produktangebot
Gesponsert
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Medimops DE
53.49 EUR
Preis aktualisiert am: 13-11-2026 06:07:38
Siehe Produktangebot
Gesponsert
Specifying Message Passing and Time-Critical Systems with Temporal Logic
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 11-11-2026 23:45:17
Siehe Produktangebot

Allgemein

Marke
Springer

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
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
A Federated e-Health Platform: A Conceptual Proposal: Specifying, Designing, Developing and Implementing a Federated e-Health Prototype Platform: A Conceptual Proposal
A Federated e-Health Platform: A Conceptual Proposal: Specifying, Designing, Developing and Implementing a Federated e-Health Prototype Platform: A Conceptual Proposal
Aus35.90 EUR 2
Produkt anzeigen
Specifying Statistical Models
Specifying Statistical Models
Aus53.49 EUR 2
Produkt anzeigen
Menü