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 $49.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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
Reviews
Questions & Answers
Handbook of Best Practices in Sustainable Development at University Level
$179.99
Cockroach Cooties
$4.46
Associative Computing
$39.99
Innovation and Research
$219.99
Nanoscience Advances in CBRN Agents Detection, Information and Energy Security
$169.99
Introduction to Macro-Economics: A Workbook
$74.99
Die Lymphocytose
$59.99
Island Thinking
$39.99
System Modeling and Optimization
$84.99
Untersuchungen zur Sprache von Kants Kritik der reinen Vernunft
$49.99
Technologie
$84.99
Classic Starts: The Story of King Arthur and His Knights by Howard Pyle
$9.99
Canadian Semantic Web
$129.00
The Destruction of Cultural Property as a Weapon of War
$159.99
Control of Overhead Power Lines with Unmanned Aerial Vehicles (UAVs)
$119.00
Intraspinal Variations of Nerve Roots
$99.99
VSOP Kursbuch Sozialplanung
$54.99
Optische Abbildung
$59.99
Die thermodynamischen Eigenschaften der Luft im Temperaturbereich zwischen 210C und +1250C bis zu
$69.95
Neuroendocrinology of Gastrointestinal Ulceration
$39.99![The Double [3+2] Photocycloaddition Reaction](https://covers.springernature.com/books/jpg_height_648_pixels/9783642228605.jpg)
The Double [3+2] Photocycloaddition Reaction
$84.99
Market Entry Strategies for the PR China
$49.99
Infinite Dimensional Lie Algebras
$84.99
Nonsmooth Dynamics of Contacting Thermoelastic Bodies
$89.00
Artificial Intelligence and Digitalization for Sustainable Development
$89.99
Optical Metrology for Fluids, Combustion and Solids
$179.99
Nanomaterials in Dental Medicine
$249.99
Francis Huxley
$34.99
Economics As Discourse
$109.99
Advances in Acoustic Microscopy
$39.99
Damping Optimization in Simplified and Realistic Disc Brakes
$39.99
All The Bright Places By Jennifer Niven
$10.99
ffentlichkeitsarbeit von Banken
$49.99
Snowflake SnowPro Advanced Architect Certification Companion
$54.99
Grundlagen der Organisations-und Wirtschaftsinformatik
$24.55
Economic Development in a Globalized Environment
$109.99
Human Work Interaction Design
$169.99
Unsaturated Fatty Acids
$54.99
Global Environmental Governance
$99.99
Temperatur und Wrme was ist das wirklich?
$17.99
