Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

by Cliff B. Jones, Jim Woodcock, Zhiming Liu

This Festschrift volume is published to honour both Dines Bj rner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354075220X
• ISBN13: 9783540752202
• Release Date: September 2007
• Publisher: Springer
• Length: 542 Pages
• Weight: 1.71 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"