| Shelfclass_id | 3.F.4 |
| Sortkey | JONES, CLIFF |
| Authors | Cliff B. Jones, Dines Bjørner, Chaochen Zhou, Zhiming Liu, Jim Woodcock |
| Title | Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays |
| Publisher | Springer |
| Year | 2007 |
| Languages | eng |
| Isbn | 354075220X, 9783540752202 |
| Series | Lecture Notes in Computer Science |
| Volume | 4700 |
| Issn | 0302-9743 |
| Description | xvi, 538 p. ill. 24 cm |
| Record date | 20090223 |
| Location | New York |
| Keywords | Dines Bjørner, Formal methods (Computer science), Real-time data processing |
| 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. Björner, Bjorner |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/fy0803/2007935177.html |