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
Stochastic Porous Media Equations
$59.99
Decision Analytics for Sustainable Development in Smart Society 5.0
$179.99
Ergonomics in Caring for People
$169.99
Computational Protein Design
$179.99
StoryTime STEM: Folk & Fairy Tales
$9.74
Lattice Fermions and Structure of the Vacuum
$109.99
Supergeometry, Super Riemann Surfaces and the Superconformal Action Functional
$54.99
ber die Merkwrdigkeiten der Quantenmechanik
$17.99
Presidents versus Federalism in the National Legislative Process
$84.99
Theoretische Physik: Quantenmechanik
$69.99
The Wizard of Washington
$39.99
Automobile Insurance: Road Safety, New Drivers, Risks, Insurance Fraud and Regulation
$169.00
Current Topics in Tumor Cell Physiology and Positron-Emission Tomography
$54.99
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity fo
$84.99
Violence Against Women, Hate and Law
$84.99
Suchtkultur und Gruppentherapie
$39.99
Sensoren in der textilen Metechnik
$74.99
Stochastic Differential Systems
$39.99
Information Technologies in the Research of Biodiversity
$169.99
Datenstrukturen in Pascal und BASIC
$69.99
Orchestermanagement
$19.99
Global Analysis of Dynamic Models in Economics and Finance
$84.99
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
$44.99
Nature of Computation and Communication
$64.99
Nachrichten-Metechnik
$59.99
Intellectuals in Twentieth-Century France
$109.99
Clinical Nuclear Medicine in Pediatrics
$119.99
Invisible
$9.74
D.D. Kosambi
$109.99
Die Apotheken-Gesetzgebung des deutschen Reiches und der Einzelstaaten auf der Grundlage der allgeme
$59.99
Economic Growth
$109.99
Declarative Agent Languages and Technologies VI
$39.99
Corporate Restructuring and Governance in Transition Economies
$109.99
Kernicterus
$129.00
Modeling and Simulation of Turbulent Combustion
$249.99
Proceedings of SECON 2020
$169.00
Textilhilfsmittel
$59.99
Cyber Operations
$44.99
Geisteswissenschaftliche Pdagogik
$29.99
Teaching Chinese Language in Singapore
$69.99
