Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, Band 4700)

von Cliff B. Jones Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-75220-2 ISBN-10: 3-540-75220-X Springer · 2007