Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Lecture Notes in Computer Science)

by Dejan Nickovic (Editor), Marcin Jurdzinski (Editor)

New
Paperback
2012
$47.63

$47.63

Save:$2.60 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 280
Edition: 2012
Publisher: Springer
Published: 17 Aug 2012
ISBN 10: 3642333648
ISBN 13: 9783642333644

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Lecture Notes in Computer Science)

New

$47.63

$47.63

More Information