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
Ethik und Geschft
$69.99
Acoustics and Vibration of Mechanical StructuresAVMS 2019
$169.99
Knowledge Discovery in Inductive Databases
$54.99
Robust Output Feedback H-infinity Control and Filtering for Uncertain Linear Systems
$84.99
Deliberative Offenheit durch Empathie
$59.99
Life in Neolithic Farming Communities
$129.00
Theory of Science
$169.00
bungsaufgaben zur Analysis 2
$49.99
Entfremdung und sthetik
$49.99
International Conference on Biomedical and Health Informatics 2022
$149.00
Die Verwaltung der Sicherheit
$44.99
Lingua Franca and Franais Tirailleur
$49.99
Italy in EMU
$109.99
Responsible Leadership
$84.99
Assessing Global Water Megatrends
$119.99
Computer Vision in Control Systems-4
$84.99
Smart Power Systems and Renewable Energy System Integration
$139.99
Technische Kompositionslehre
$34.99
International Relations in the Ancient Near East
$109.99
Therapie mit Allopurinol
$59.99
Grundlagen und Mathematische Hilfsmittel der Hochfrequenztechnik
$49.99
Zeitreihenanalyse in den Wirtschaftswissenschaften
$29.99
Angewandte Mathematik 1 mit MATLAB und Julia
$37.99
Bevlkerung
$39.99
The Mayo Clinic Cardiac Catheterization Laboratory
$159.99
Religious Rhetoric in US Right-Wing Politics
$129.99
Gestaltung komplexer Markenarchitekturen
$74.99
Informationstechnik
$17.99
Biomass Conversion and Sustainable Biorefinery
$179.99
The Science and Politics of Covid-19
$37.99
Spezielle und allgemeine Relativittstheorie
$39.99
Language Alternation, Language Choice and Language Encounter in International Tertiary Education
$109.99
Learn Office 2016 for Mac
$79.99
Clinical Decisions in Nephrology, Hypertension and Kidney Transplantation
$329.99
Doctor de Soto (Spanish)
$4.46
Frontiers in Clinical Neuroscience
$109.99
Half Hour of Pencil Power: Fast and Fun Drawing Lessons for the Whole Family! by Mark Kistler
$17.99
Refractive Indices of Solids
$54.99
The Proceedings of 2023 4th International Symposium on Insulation and Discharge Computation for Powe
$219.00
Transmission Network Investment in Liberalized Power Markets
$54.99
