Häftad, Engelska, 2007
Formal Methods and Hybrid Real-Time Systems
Av Cliff B. Jones, Zhiming Liu, Jim Woodcock
567 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2007-09-06
- Mått: 155 x 235 x 30 mm
- Vikt: 838 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 542
- Upplaga: 2007
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540752202
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.