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

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Softcover - 9783540474609
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 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 24. Oktober 2006
Maße 23.5 cm x 15.5 cm
Gewicht 1183 Gramm
Format Softcover
ISBN-13 9783540474609
Seiten 792

Schlagwörter

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

Herstellerinformationen +