✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Softcover - 9783540752202
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Details

Verlag Springer Berlin
Ersterscheinung 06. September 2007
Maße 23.5 cm x 15.5 cm
Gewicht 838 Gramm
Format Softcover
ISBN-13 9783540752202
Seiten 542

Schlagwörter

Computer Engineering and Networks, Computer Science Logic and Foundations of Programming, Computerhardware, Formal Languages and Automata Theory, Software Engineering, Theoretische Informatik

Herstellerinformationen +