Formal Methods and Hybrid Real-Time Systems / Lecture Notes in Computer Science Bd.4700 (PDF)
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...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2007, 2007, 542 Seiten, Englisch
- Herausgegeben: Cliff B. Jones, Zhiming Liu, Jim Woodcock
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540752218
- ISBN-13: 9783540752219
- Erscheinungsdatum: 04.09.2007
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 8.62 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods and Hybrid Real-Time Systems / Lecture Notes in Computer Science Bd.4700".
Kommentar verfassen