Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (2007) (Lecture Notes in Computer Science #4700)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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 former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.
- Copyright:
- 2007
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540752219
- Related ISBNs:
- 9783540752202
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/15/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Cliff B. Jones
- Edited by:
- Zhiming Liu
- Edited by:
- Jim Woodcock
Reviews
Other Books
- by Cliff B. Jones
- by Zhiming Liu
- by Jim Woodcock
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy