Items related to Leveraging Applications of Formal Methods, Verification...
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2021
- ISBN 10 3030891585
- ISBN 13 9783030891589
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages516
- EditorMargaria Tiziana, Steffen Bernhard
Search results for Leveraging Applications of Formal Methods, Verification...
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, IS
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030891589
Quantity: 10 available
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030891589_new
Quantity: Over 20 available
Seller Image
Leveraging Applications of Formal Methods, Verification and Validation
Published by
Springer International Publishing Okt 2021, 2021
ISBN 10: 3030891585
ISBN 13: 9783030891589
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 516 pp. Englisch. Seller Inventory # 9783030891589
Quantity: 2 available
Seller Image
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
Published by
Springer International Publishing, 2021
ISBN 10: 3030891585
ISBN 13: 9783030891589
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030891589
Quantity: 1 available
Seller Image
Leveraging Applications of Formal Methods, Verification and Validation
Published by
Springer International Publishing, 2021
ISBN 10: 3030891585
ISBN 13: 9783030891589
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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: Engin. Seller Inventory # 508575760
Quantity: Over 20 available
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783030891589
Quantity: Over 20 available
Seller Image
Leveraging Applications of Formal Methods, Verification and Validation
Published by
Springer International Publishing, Springer Nature Switzerland Okt 2021, 2021
ISBN 10: 3030891585
ISBN 13: 9783030891589
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch. Seller Inventory # 9783030891589
Quantity: 2 available
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 389408034
Quantity: 4 available
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26390224637
Quantity: 4 available
Stock Image
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18390224631
Quantity: 4 available