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