-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
Browse through the navigation bar
-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
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
by Tiziana Margaria and others
$148.38
Spend another {0} to pay with
or 4 easy payments of $37.09 with
This item qualifies your order for FREE DELIVERY
Paperback
Pub: 12/10/2021
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,… more
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.
less
- ISBN:
- 9783030891589
- 9783030891589
- Category:
- Computer programming / software development
- Format:
- Paperback
- Publication Date:
- 12-10-2021
- Language:
- English
- Publisher:
- Springer International Publishing AG
- Country of origin:
- Switzerland
- Dimensions:
- 235x155mm
- Weight:
- 0.78kg
This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days
Reviews
This product has no reviews yet.
Thanks for reviewing Leveraging Applications of Formal Methods. We will process your review. Accepted reviews will be posted within 3-7 business days.
You can find this item in:
You are buying a backorder title
×Be the first to know, stay up to date with what's trending and get staff picks in your inbox with our newsletter
Follow Us
Secured by:
Copyright 2025. All rights reserved.
Share This Book