An edition of Formal methods and hybrid real-time systems
(2007)
Formal methods and hybrid real-time systems
essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays
by D. Bjørner, Jones, C. B., and Jim Woodcock
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007, Springer London, Limited
in English
3540752218 9783540752219
|
zzzz
Libraries near you:
WorldCat
|
2
Formal methods and hybrid real-time systems: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays
2007, Springer
in English
354075220X 9783540752202
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.
Includes bibliographical references and author index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |