Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29,2021, Proceedings, Lecture Notes in Computer Science 13036 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
€74.89
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
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.
Weitere Details
Erschienen: 12.10.2021
Umfang: xii, 504 S., 53 s/w Illustr., 71 farbige Illustr.,
Sprache: ENG
Einband: KT
ISBN/EAN: 9783030891589
Umbreit-Nr.: 2851724
