Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science (3185), Band 3185)
von:
Marco Bernardo
· Flavio Corradini
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-23068-7
ISBN-10: 3-540-23068-8
Springer
· 2008
