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

Model Checking Software

Model Checking Software

Softcover - 9783540733690
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 proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 21. Juni 2007
Maße 23.5 cm x 15.5 cm
Gewicht 458 Gramm
Format Softcover
ISBN-13 9783540733690
Seiten 285

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Software Engineering, Theoretische Informatik

Herstellerinformationen +