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

Wo zu kaufen (2) Eigenschaften
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: 08-05-2026 03:22:08
Siehe Produktangebot
Gesponsert
Specifying Message Passing and Time-Critical Systems with Temporal Logic
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 08-05-2026 02:57:00
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Specifying Big Data Benchmarks
Specifying Big Data Benchmarks
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)
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)
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
Produkt anzeigen
Specifying Statistical Models
Specifying Statistical Models
Produkt anzeigen
Specifying Software
Specifying Software
Produkt anzeigen
Menü