Tell your friends about this item:
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science Cliff B Jones 2007 edition
Price
$ 55.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science
Cliff B Jones
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.
542 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 6, 2007 |
| ISBN13 | 9783540752202 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 542 |
| Dimensions | 155 × 235 × 28 mm · 775 g |
| Language | French |
| Editor | Jones, Cliff B. |
| Editor | Liu, Zhiming |
| Editor | Woodcock, Jim |
![Cover for Cliff B Jones · Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/905/9783540752905.jpg?cliff-b-jones-2007-theoretical-aspects-of-computing-ictac-2007-4th-international-colloquium-macau-china-september-26-28-2007-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1445781721)
![Cover for Cliff B Jones · 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing (Paperback Book) [Edition. Ed. edition] (1992)](https://imusic.b-cdn.net/images/item/original/522/9783540197522.jpg?cliff-b-jones-1992-5th-refinement-workshop-proceedings-of-the-5th-refinement-workshop-organised-by-bcs-facs-london-8-10-january-1992-workshops-in-computing-paperback-book&class=scaled&v=1562003579)