Produktbild: Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Lieferzeit: Lieferbar innerhalb 14 Tagen

74,89 €

inkl. 7 % MwSt. zzgl. Versandkosten

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

ISBN: 3030891585
ISBN 13: 9783030891589
Herausgeber: Tiziana Margaria/Bernhard Steffen
Verlag: Springer Verlag GmbH
Umfang: xii, 504 S., 53 s/w Illustr., 71 farbige Illustr., 504 p. 124 illus., 71 illus. in color.
Erscheinungsdatum: 12.10.2021
Auflage: 1/2021
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 2851724 Kategorie:

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: 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.    

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …