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

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Softcover - 9783030891589
74,89 €
  • 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 contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6 th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.  

 

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 12. Oktober 2021
Maße 23.5 cm x 15.5 cm
Gewicht 774 Gramm
Format Softcover
ISBN-13 9783030891589
Auflage 1st ed. 2021
Seiten 504

Schlagwörter

Angewandte Informatik, Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computer and Information Systems Applications, Computerprogrammierung und Softwareentwicklung, Künstliche Intelligenz, Programming Techniques, Software Engineering

Herstellerinformationen +