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
Claim-Management im internationalen Anlagengeschft
$69.99
Mean Value and Correlation Problems connected with the Motion of Particles suspended in a turb
$39.99
Linear Algebra with Applications to Economics
$54.99
Discussing Cognitive Neuroscience
$99.99
Earthquake Processes: Physical Modelling, Numerical Simulation and Data Analysis Part I
$54.99
Annual Update in Intensive Care and Emergency Medicine 2013
$139.00
London's Aylesbury Estate
$84.99
TOMTASS - Theory-of-Mind-Training bei Autismusspektrumstrungen
$44.99
Innovation aus Leidenschaft
$17.99
Medical Identities and Print Culture, 1830s1910s
$129.99
Data-driven Methods for Fault Detection and Diagnosis in Chemical Processes
$109.99
Bildverarbeitung fr die Medizin 2003
$97.95
Probabilistic and Statistical Methods in Computer Science
$109.99
Rechtspopulismus
$37.99
The Art of Digital Marketing for Fashion and Luxury Brands
$179.99
Alternative Approaches to Human Blood Resources in Clinical Practice
$169.99
Sprichwrter und Redensarten im interkulturellen Vergleich
$69.99
Satellite Precipitation Measurement
$219.99
Kritik, Satire, Parodie
$49.99
Writing as a Learning Tool
$109.99
Wolfram
$54.99
Agribusiness for Economic Growth in Africa
$54.99
Ready-to-Go 500 Book Expanded Classroom Library, Grade 1
$1,995.00
Modern Applied Statistics with
$199.99
Health Risks and Fair Compensation in the Fire Service
$129.99
A Course in Linear Algebra
$109.99
Managing Protected Areas in Central and Eastern Europe Under Climate Change
$59.99
Bioactive Sphingolipids in Cancer Biology and Therapy
$169.99
Optical Channels
$219.99
International Congress and Workshop on Industrial AI and eMaintenance 2023
$279.99
Binnenverkehrswasserbau
$99.00
Conservation and Restoration of Historic Mortars and Masonry Structures
$169.00
Die Neue Fabrik
$49.99
Fifth International Conference of the Legal Profession Monte Carlo (Monaco) July 1924, 1954
$74.99
Microsporidia
$169.99
Deepening Neoliberalism, Austerity, and Crisis
$54.99
Haunted Seasons
$29.99
Zerkleinerungs-Vorrichtungen und Mahlanlagen
$59.99
Network Infrastructure and the Urban Environment
$109.99
Zurichtung und Prfung des Leders
$99.99
