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.64 EUR 2% Off 106.99 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

-2%

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.64 EUR 106.99 EUR

27-04-2026 03:54:49

Access to the deal

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

SpringerLink DE

106.99 EUR 106.99 EUR

26-04-2026 16:24:42

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 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)

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331, Band 331)