Data & IT
Pocket
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria • Bernhard Steffen
1029:-
Uppskattad leveranstid 11-22 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 2169:-
- Pocket/Paperback 739:-
- Pocket/Paperback 739:-
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: 6th 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.
- Format: Pocket/Paperback
- ISBN: 9783030891589
- Språk: Engelska
- Antal sidor: 504
- Utgivningsdatum: 2021-10-12
- Förlag: Springer Nature Switzerland AG