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

Integrated Formal Methods

Integrated Formal Methods

Softcover - 9783540732099
106,99 €
  • 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 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 22. Juni 2007
Maße 23.5 cm x 15.5 cm
Gewicht 1001 Gramm
Format Softcover
ISBN-13 9783540732099
Seiten 662

Schlagwörter

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

Herstellerinformationen +