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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540752202 - torstai 6. syyskuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys
Lisää iMusic-toivelistallesi
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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 6. syyskuuta 2007
ISBN13 9783540752202
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 542
Mitta 155 × 235 × 28 mm   ·   775 g
Kieli French  
Toimittaja Jones, Cliff B.
Toimittaja Liu, Zhiming
Toimittaja Woodcock, Jim

Näytä kaikki

Lisää tuotteita Cliff B Jones