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
Formal Methods: Foundations and Applications
Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications for $31.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
|
|
$34.99 | $34.99 |
|
10% OFF
This deals requires coupon
|
$31.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
Reviews
Questions & Answers
Configuration Spaces over Hilbert Schemes and Applications
$29.99
Der Spannungszustand von Gattersgeblttern
$59.99
Haptic Sensation and Consumer Behaviour
$64.99
Bladder Dysfunction in the Adult
$169.99
Theoretical Acoustics and Numerical Techniques
$54.99
Dynamische Betriebsplanung zur Anpassung an wirtschaftliche Wechsellagen
$59.99
We Need New Stories- The Myths that Subvert Freedom by Nesrine Malik
$16.95
Ergebnisse der Allgemeinen Pathologie und Pathologischen Anatomie des Menschen und der Tiere
$59.99
Bobby Flay's Throwdown - More Than 100 Recipes from Food Network's Ultimate Cooking Challenge - A Cookbook by Bobby Flay
$28.99
Change Management
$49.99
The Vector Coherent State Method and Its Application to Problems of Higher Symmetries
$39.99
Handbuch Sekretariat und Office Management
$69.99
Accelerator Technology
$199.99
Erluterungen zu den Vorschriften fr die Konstruktion und Prfung von Installationsmaterial, den Vo
$59.99
Computer Vision ECCV 2024
$64.99
Smart Road Infrastructure: Ideas, Innovations and Emerging Technologies
$149.99
Advances in Distributed Computing and Machine Learning
$219.99
Sprinkler and Drip Irrigation
$39.99
Complementary and Alternative Medicine
$159.99
Eine Termlogik mit Auswahloperator
$54.99
New Technologies, Development and Application VI
$189.00
The Palgrave Handbook of Radical Left Parties in Europe
$329.99
Reason and Action
$109.99
Optical Signal Processing by Silicon Photonics
$54.99
Physics of Nonlinear Optics
$49.99
Algebraische Spezifikation
$69.99
Bankrecht - Schnell erfasst
$19.95
Einheitspreisneuberechnung nach Leistungsnderungen gem VOB/B
$99.99
Hot Rod Hamster: Hot Rod Hamster (Hardcover)
$14.24
Other Globes
$119.99
Excitable Cells in Tissue Culture
$39.99
Stress and Resilience
$39.99
Indien: Wirtschaft, Verfassung, Politik
$74.99
Royal Heirs in Imperial Germany
$129.99
Funktionelle Analsphinkter-untersuchungen
$69.99
Indoor Air Quality
$199.99
Unmanned Aerial Vehicles in Smart Cities
$109.99
Low-Income Consumers as a Source of Innovation
$54.99
Methodology Ecological, Genetic, and Nutritional Effects on Growth
$109.99
Innovation, Resources and Economic Growth
$39.99
