Treffer: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen
Verantwortlich:
Ausgabe:
1st ed. 2025
Veröffentlicht:
Cham : Springer Nature Switzerland, 2025
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 406 Seiten) : 113 illus., 87 illus. in color.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 15221
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. - Cham : Springer Nature Switzerland, 2025. - ISBN 9783031753794
Schlagworte:
ISBN:
9783031753800 ; 3031753801 ; 978--303175379-4 (Sekundärausgabe) ; 978--303175381-7 (Sekundärausgabe)
DOI:
10.1007/978-3-031-75380-0