Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jones, Cliff B. (Editor), Liu, Zhiming (Editor), Woodcock, Jim (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4700
• Subjects: Computer science.; Computer organization.; Software engineering.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Computer Systems Organization and Communication Networks.; Mathematical Logic and Formal Languages.