Description: Leveraging Applications of Formal Methods, Verification and Validation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17?29, 2021, Proceedings Author(s): Tiziana Margaria, Bernhard Steffen Format: Paperback Publisher: Springer Nature Switzerland AG, Switzerland Imprint: Springer Nature Switzerland AG ISBN-13: 9783030891589, 978-3030891589 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. ? ?
Price: 51 GBP
Location: Aldershot
End Time: 2024-11-05T09:02:55.000Z
Shipping Cost: 29.6 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Leveraging Applications of Formal Methods, Verification and Va...
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: Tiziana Margaria, Bernhard Steffen
Publication Name: 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
Format: Paperback
Language: English
Publisher: Springer Nature Switzerland A&G
Subject: Engineering & Technology, Computer Science
Publication Year: 2021
Type: Textbook
Item Weight: 783 g
Number of Pages: 504 Pages
