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

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Softcover - 9783642007675
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 constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.

15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 09. März 2009
Maße 23.5 cm x 15.5 cm
Gewicht 715 Gramm
Format Softcover
ISBN-13 9783642007675
Seiten 456

Schlagwörter

Algorithmen und Datenstrukturen, Algorithms, Computer Science Logic and Foundations of Programming, Computerprogrammierung und Softwareentwicklung, Programming Techniques, Software Engineering, Theoretische Informatik

Herstellerinformationen +