Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
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
Source records
Oregon Libraries MARC recordLibrary of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Internet Archive item record
Better World Books record
marc_columbia MARC record
Promise Item
marc_nuls MARC record
harvard_bibliographic_metadata record
Community Reviews (0)
Feedback?History
- Created September 22, 2008
- 22 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
May 28, 2023 | Edited by MARC Bot | import existing book |
March 7, 2023 | Edited by MARC Bot | import existing book |
January 15, 2023 | Edited by ImportBot | import existing book |
December 29, 2022 | Edited by MARC Bot | import existing book |
September 22, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |