Name: 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)
Brand: Marco Bernardo
SKU: ID12579817
Availability: InStock

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)

53.49 EUR

Ein praxisorientiertes Handbuch, das formale Techniken für Echtzeitsysteme erklärt, Beispiele aus der Computer‑ und Kommunikationsentwicklung integriert und die Entwicklung sicherer Software erleichtert.

Marke: Marco Bernardo

ISBN: 3540230688

MPN: Illustrations

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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 53.49 EUR

31-05-2026 09:42:42

Access to the deal

Gesponsert Formal Methods for the Design of Real-Time Systems

SpringerLink DE

53.49 EUR 53.49 EUR

31-05-2026 09:33:16

Access to the deal

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)

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)

Gesponsert Formal Methods for the Design of Real-Time Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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)

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)

Gesponsert Formal Methods for the Design of Real-Time Systems

Ä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 Dynamical Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Modeling and Verification of Cyber-Physical Systems