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. Specification and Verificati
Best Price (Coupon Required):
Buy Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati for $58.50 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
|
|
$64.99 | $64.99 |
|
10% OFF
This deals requires coupon
|
$58.50 | See Site | In stock | Visit Store |
Product Details
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Reviews
Questions & Answers
2024 the 8th International Conference on Energy and Environmental Science (ICEES 2024)
$149.00
Eco-efficient Construction and Building Materials
$169.99
Dynamic Reconfiguration
$39.99
Todd Parr Books: El libro de la Tierra
$5.96
Modelling and Decisions in Economics
$109.99
Dialectics of the Concrete
$169.99
Contemporary British Drama, 197090
$84.99
Intellectual Disability and Social Policies of Inclusion
$79.99
Towards Net-Zero Targets
$109.99
In Silico Approach for Sustainable Agriculture
$109.99
Selbstorganisation mit Holakratie
$17.99
Environmental Geomechanics
$109.99
Numerische Analyse von gewhnlichen und retardierten Differentialgleichungen
$29.99
Die Wahrheit im Menschen
$64.99
Fuzzy Quantifiers
$129.00
Catholic Queen, Protestant Patriarchy
$99.00
Organisation und Leistungen einer Grokonsumgenossenschaft, dargestellt am Beispiel der Konsumgenoss
$59.99
Ophthalmo- und Oto-Neurologie
$49.99
Institutions in Transition
$169.99
Expedition Energiewende
$24.99
Die Korrelationsrechnung im Verkehrswesen
$69.99
Educational Innovations Beyond Technology
$84.99
Atlas of Intraoperative Cranial Nerve Monitoring in Thyroid and Head and Neck Surgery
$199.99
The B Language and Method
$54.99
Strategisches Controlling der Leasinggesellschaft
$49.99
Lineare Regression und Verwandtes
$49.99
ber die Lichtdurchlssigkeit der stark getrbten Atmosphre im sichtbaren Spektralbereich
$54.99
Toward a North American Legal System
$39.99
Healthcare and Biomedical Technology in the 21st Century
$79.99
Gynecology
$54.99
Information Systems, Technology and Management
$109.99
Everyday Creativity and the Healthy Mind
$119.99
Pristine Transfinite Graphs and Permissive Electrical Networks
$54.99
Microscale Heat Transfer - Fundamentals and Applications
$329.99
Kundenorientierung - Partizipation - Respekt
$49.99
Future of Food Gaps in Egypt
$39.99
Ideology and Soviet Politics
$39.99
Party-Voter Linkage in Africa
$54.99
Frege: Sense and Reference One Hundred Years Later
$39.99
International Perspectives on Undergraduate Research
$169.99
