Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... Notes in Computer Science (863), Band 863)

von: Hans Langmaack · Jan Vytopil · Willem-Paul de Roever Taschenbuch Details (Deutschland) ISBN: 978-3-540-58468-1 ISBN-10: 3-540-58468-4 Springer · 2009