Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)

by Marco Bernardo (Author), Flavio Corradini (Author), Marco Bernardo (Author), Flavio Corradini (Author)

New
Paperback
2008
$54.10

$54.10

Save:$3.29 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 304
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540230688
ISBN 13: 9783540230687

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)

New

$54.10

$54.10

More Information