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

FM 2008: Formal Methods

FM 2008: Formal Methods

Softcover - 9783540682356
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 book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 08. Mai 2008
Maße 23.5 cm x 15.5 cm
Gewicht 686 Gramm
Format Softcover
ISBN-13 9783540682356
Seiten 436

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Computer Engineering and Networks, Computer Science Logic and Foundations of Programming, Computerhardware, Computerprogrammierung und Softwareentwicklung, Programming Techniques, Software Engineering, Theoretische Informatik

Herstellerinformationen +