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

FM 2015: Formal Methods

FM 2015: Formal Methods

Softcover - 9783319192482
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 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 02. Juni 2015
Maße 23.5 cm x 15.5 cm
Gewicht 937 Gramm
Format Softcover
ISBN-13 9783319192482
Seiten 610

Schlagwörter

Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, IT Operations, Software Engineering, Theoretische Informatik, Theory of Computation, Wirtschaftsmathematik und -informatik - IT-Management

Herstellerinformationen +