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
Turkish Foreign Policy
$59.99
Pflanzenatmung
$59.99
Corpus-based Approaches to Grammar, Media and Health Discourses
$84.99
Briefwechsel
$59.99
Evaluation and Management of Dysphagia
$129.99
Retroviral Immunology
$169.99
The Political Economy of Refugee Migration and Foreign Aid
$109.99
Amelia Bedelia Hits the Trail
$4.46
The In-Discipline of Design
$119.99
Colon
$84.99
Transparent and Authentic Leadership
$159.99
Reconstituting the Constitution
$169.99
Untersuchungen ber das Schnellkhlverfahren bei Steinzeug
$54.99
System Dynamics
$54.99
How Does One Cut a Triangle?
$39.99
Landmarks
$109.99
Method, Model and Matter
$109.99
Reasoning Web. Semantic Technologies for Information Systems
$39.99
Patient-specific Hemodynamic Computations: Application to Personalized Diagnosis of Cardiovascular P
$129.00
Understanding Energy Innovation
$59.99
Intelligent Software Methodologies, Tools and Techniques
$39.99
Kriminalittsvorstellungen in der Kindheit
$89.99
Computernetze und Internet of Things
$49.99
Eurasian Economic Perspectives
$219.99
Tutorium Genetik
$44.99
Extraction and Representation of Prosody for Speaker, Speech and Language Recognition
$54.99
Deformable Avatars
$169.99
Decentralising Policy Responsibility and Political Authority in Germany
$139.99
A Directory of Shakespeare in Performance Since 1991
$329.99
Beginning JavaScript
$34.99
Information and Communication Technologies in Education
$219.99
Bussysteme in der Fahrzeugtechnik
$44.99
The Due Diligence in Maritime Transportation in the Technological Era
$99.00
Grab and Go Pack Theme 2: Social-Emotional Development Kindergarten
$29.95
Fortschritte der Botanik
$59.99
Real Estate: Investment and Financial Strategy
$129.00
Artificial Intelligence in Music, Sound, Art and Design
$54.99
Exoplaneten
$29.99
Mathematical Physics
$139.99
Balanced Scorecard fr KMU
$79.99
