Fortell venner om denne varen:
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
NOK 559
Bestillingsvarer
Forventes levert 24. nov - 2. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 6. september 2007 |
| ISBN13 | 9783540752202 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 542 |
| Mål | 155 × 235 × 28 mm · 775 g |
| Språk | Fransk |
| Redaktør | Jones, Cliff B. |
| Redaktør | Liu, Zhiming |
| 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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1562003579)