Formal Methods and Hybrid Real-Time Systems - 8 Angebote vergleichen
| Preise | Dez. 16 | Feb. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 88,09 | € 103,61 | € 98,06 |
| Nachfrage |
1
Formal Methods and Hybrid Real-Time Systems (2007)
DE NW EBISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Schweiz, Sofort per Download lieferbar.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. PDF, 04.09.2007.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. PDF, 04.09.2007.
2
Formal Methods and Hybrid Real-Time Systems (2007)
DE NW EBISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Deutschland, Sofort per Download lieferbar.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. 04.09.2007, PDF.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. 04.09.2007, PDF.
3
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (2007)
DE NW EB DLISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Formal Methods and Hybrid Real-Time Systems: This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. Englisch, Ebook.
Formal Methods and Hybrid Real-Time Systems: This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects. Englisch, Ebook.
4
Formal Methods and Hybrid Real-Time Systems (2007)
EN NW EB DLISBN: 9783540752219 bzw. 3540752218, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects.
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects.
5
Formal Methods and Hybrid Real-Time Systems
DE PB NWISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Formal Methods and Hybrid Real-Time Systems ab 103.49 € als pdf eBook: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
6
Formal Methods and Hybrid Real-Time Systems
DE NW EB DLISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Formal Methods and Hybrid Real-Time Systems ab 103.49 EURO Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.
7
Formal Methods and Hybrid Real-Time Systems
DE NW EB DLISBN: 9783540752219 bzw. 3540752218, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkosten.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.
8
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
EN NW EB DLISBN: 9783540752219 bzw. 3540752218, in Englisch, Peter Lang GmbH, Internationaler Verlag der Wissen, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…