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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Reviews
Questions & Answers
Vibration and Wear in High Speed Rotating Machinery
$259.00
Die Entsorgungsquote und Marktmacht auf dem Entsorgungsmarkt
$54.99
Upside-Down Magic #7: Hide and Seek
$5.24
Binary Rare Earth Oxides
$139.00
Listening to Gynaecological Patients Problems
$54.99
Biosurfactants
$169.99
Leadership trendresistent gedacht
$39.99
Recent Advances in Transportation Systems Engineering and Management
$299.00
Measurement Uncertainties in Science and Technology
$109.99
Empirical Foundations of Information and Software Science IV
$39.99
Slide and Smile- Baby, You're Magic by Natalie Marshall
$10.99
Japanese Firms During the Lost Two Decades
$39.99
Organisationale Resilienz
$64.99
Chirurgisches Forum 93 fr experimentelle und klinische Forschung
$69.99
Konzeption und Einsatzplanung flexibel automatisierter Montagesysteme
$69.99
Quantum Many-Body Physics
$64.99
Design of Dependable Computing Systems
$54.99
Proceedings of the 14th International Conference on Man-Machine-Environment System Engineering
$129.00
Locally Convex Spaces
$59.99
Style, Society, and Person
$219.99
Nanomaterials for Security
$169.99
Narrative Anstze in Beratung und Coaching
$39.99
Citizenship, Europe and Change
$84.99
Der Chirurg heute
$69.99
Guide to Wireless Ad Hoc Networks
$54.99
Perspectives on Design and Digital Communication
$179.99
Comparative Risk Assessment and Environmental Decision Making
$169.00
Modelling and Optimization of Distributed Parameter Systems Applications to engineering
$219.99
Wallace and Grace: Wallace and Grace and the Gift Thief
$6.71
Global Giant
$39.99
Principles and Applications of Up-converting Phosphor Technology
$84.99
Die Jahr-2000-Krise
$69.99
Mobile Ad-hoc and Sensor Networks
$109.99
Acute Heart Failure
$129.99
Ventricular-Assist Devices and Kidney Disease
$129.00
Assay of Calcium-regulating Hormones
$39.99
Urban Crime and Social Disorganization in China
$39.99
Women and Spirituality in the Writing of More, Wollstonecraft, Stanton, and Eddy
$39.99
Religion and Morality
$169.99
Wired/Wireless Internet Communications
$39.99
