Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Leveraging Applications of Formal Methods, Verification and Validation
Best Price (Coupon Required):
Buy Leveraging Applications of Formal Methods, Verification and Validation for $54.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
10% OFF
This deals requires coupon
|
$54.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Computational Optimization and Applications in Engineering and Industry
$129.00
Latin American Fiction and the Narratives of the Perverse
$39.99
Rising Voices: Elevating Latino Stories, Grades K-5
$3,585.95
Urban Resilience, Livability, and Climate Adaptation
$169.00
Sustainability Labels in the Shadow of the Law
$129.99
Grafik-Rezepte fr Turbo Pascal unter Windows
$44.99
Gynkologische Cytologie
$54.99
Tocqueville und der Individualismus in der Demokratie
$79.99
Mediation an Schulen
$44.99
Nationalism and Human Rights
$54.99
Die Unternehmergesellschaft (UG)
$54.99
Disney Stories
$54.99
Vegetation science applications for rangeland analysis and management
$169.00
Zinsnderungs- und Bilanzstrukturrisiken
$59.99
L2 Learning During Study Abroad
$54.99
Mechanisms of Vascular Disease
$159.99
Web Information Systems Engineering -- WISE 2013
$39.99
Estimating SMEs Cost of Equity Using a Value at Risk Approach
$54.99
Die Stereoskopie
$59.99
Handbuch Pdagogische Anthropologie
$179.99
Introduction to Optics I
$29.99
The Importance of Animal Experimentation for Safety and Biomedical Research
$169.99
Mapping My.: Mapping My Country
$5.24
Die Triangulation von Java ausgefhrt vom Personal des Geographischen Dienstes in Niederlndisch Ost
$54.99
Plug-and-Play Monitoring and Performance Optimization for Industrial Automation Processes
$39.99
Face Recognition Across the Imaging Spectrum
$84.99
Alaskas Permanent Fund Dividend
$54.99
Rayleigh and Lamb Waves
$129.99
Two-Dimensional Real-Time Ultrasonic Imaging of the Heart
$169.00
Einfhrung in die mathematische Logik
$29.99
The Clown of God
$6.50
Robuste Unternehmen
$17.99
Korean Women in Leadership
$199.99
Proceedings of the 10th International Operational Modal Analysis Conference (IOMAC 2024)
$219.00
Comics and Archaeology
$44.99
Advances in Microbial Ecology
$39.99
Vertigo and Balance Disorders in Children
$109.99
Level B: 60 Book Set
$199.95
Management of Health Risks from Environment and Food
$169.99
Inclusive Robotics for a Better Society
$169.00
