Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, 3185, Band 3185)

Ein kompakter Leitfaden, der formale Techniken für Echtzeitsysteme erläutert, praxisnahe Beispiele aus Computer‑ und Kommunikationsdesign integrie ...
For the
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, 3185, Band 3185)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 22:20:36
Siehe Produktangebot
Gesponsert
Formal Methods for the Design of Real-Time Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 21:54:13
Siehe Produktangebot

Allgemein

Marke
Marco Bernardo
ISBN
Marco Bernardo 3540230688
MPN
Marco Bernardo Illustrations

Eigenschaften

Ähnliche Produkte

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)
Produkt anzeigen
Formal Methods for Dynamical Systems
Formal Methods for Dynamical Systems
Produkt anzeigen
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465, Band 3465)
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465, Band 3465)
Produkt anzeigen
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science, 2804, Band 2804)
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science, 2804, Band 2804)
Produkt anzeigen
Menü