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 9% Off 59.00 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

-9%

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

07-08-2026 12:56:31

Access to the deal

Gesponsert Formal Methods for the Design of Real-Time Systems

SpringerLink DE

59.00 EUR 59.00 EUR

07-08-2026 09:27:04

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