Name: Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ...
Brand: Springer Berlin Heidelberg
SKU: ID12507933
Availability: InStock

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ...

104.94 EUR 11% Off 118.00 EUR

Ein praxisorientiertes Buch, das die neuesten formalen Methoden für Echtzeit‑ und fehlertolerante Systeme detailliert erklärt; es verbindet theoretische Grundlagen mit konkreten Fallstudien aus Forschung und Industrie.

Marke: Springer Berlin Heidelberg

ISBN: 3540584684

MPN: 6906257

Angebote
Merkmale

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

-11%

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... (Lecture Notes in Computer Science)

Medimops DE

104.94 EUR 118.00 EUR

27-07-2026 23:35:34

Access to the deal

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant Systems

SpringerLink DE

118.00 EUR 118.00 EUR

29-07-2026 07:16:51

Access to the deal

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ...

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... (Lecture Notes in Computer Science)

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ...

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... (Lecture Notes in Computer Science)

Gesponsert Formal Techniques in Real-Time and Fault-Tolerant Systems

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science

Formal Techniques for Distributed Objects Components and Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571, Band 571)