Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010 | Kaicus Deutschland

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

59.00 EUR

Ein kompakter Leitfaden aus der 8. FORMATS-Konferenz, der fortgeschrittene Modelle für zeitkritische Systeme vorstellt, theoretische Grundlagen mit praxisnahen Fallstudien verbindet und neue Analyseansätze beleuchtet.

ISBN: 3642152961
SKU: 9783642152962
MPN: Illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen