Fortæl dine venner om denne vare:
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 2007 edition
Cliff B Jones
Pris
₪ 237,50
Bestilles fra fjernlager
Forventes klar til forsendelse 21. - 27. aug.
Tilføj til din iMusic ønskeseddel
Eller
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 2007 edition
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 6. september 2007 |
| ISBN13 | 9783540752202 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 542 |
| Mål | 155 × 235 × 28 mm · 775 g |
| Sprog | Fransk |
| Klipper/redaktør | Jones, Cliff B. |
| Klipper/redaktør | Liu, Zhiming |
| Klipper/redaktør | 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 Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1562003579)