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 thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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
Externe Unternehmensrechnung
$54.99
Narrowing the Achievement Gap
$84.99
Erste Hilfe bei Burnout in Organisationen
$17.99
Cyber Threat Intelligence
$129.00
Advanced Computing and Intelligent Technologies
$219.99
HCI and Usability for Medicine and Health Care
$39.99
Politikwissenschaft und Verwaltungswissenschaft
$59.99
Living in the Megacity: Towards Sustainable Urban Environments
$179.99
Feynman Integral Calculus
$54.99
Spectroscopic and Mechanistic Studies of Dinuclear Metallohydrolases and Their Biomimetic Complexes
$84.99
ber den biologischen Wert der einzelligen Grnalge Scenedesmus obliquus frisch und verschieden ge
$59.99
Simulation by Bondgraphs
$84.99
Mapping Reality
$39.99
The Negotiation Book: Your Definitive Guide to Successful Negotiating by Steve Gates
$18.99
Software Engineering for Experimental Robotics
$169.00
Energy Efficiency and Renewable Energy Policies
$29.99
Korrelationen in Extremsituationen
$69.99
New Directions in Empirical Translation Process Research
$129.99
Nitrate III
$59.99
The Palgrave Handbook of Bondage and Human Rights in Africa and Asia
$139.00
Testing Object-Oriented Software
$54.99
Basics of Drawing - The Ultimate Guide for Beginners by Leonardo Pereznieto
$19.95
Climate Change, Extreme Events and Disaster Risk Reduction
$169.00
Logistikoptimierung durch Outsourcing
$74.99
Immersed in Media
$84.99
Phosphorescent Oxygen-Sensitive Probes
$54.99
Se lo comi un oso?
$4.49
Integrationsmanagement in der Unternehmens-IT
$79.99
Tiergesttzte Interventionen in der Demenzbetreuung
$69.99
Alcohol and Remembering Rape
$54.99
Der Entwicklungsstand der Herzchirurgie / Muskelarbeit und Muskelermdung in Theorie und Praxis
$59.99
Anpassungsfhige Maschinenbelegungsplanung eines praxisorientierten hybriden Flow Shops
$89.99
Ergebnisse der Chirurgie und Orthopdie
$44.99
Clinical Psychology and Psychotherapy as a Science
$169.99
Kognitive, emotionale und soziale Aspekte des Alterns
$59.99
Zigarettensteuergesetz vom 3. Juni 1906 nebst Ausfhrungsbestimmungen
$59.99
Der Zeiten Bildersaal
$39.99
Chinese Shock of the Anthropocene
$129.00
Introduction to Phytoremediation of Contaminated Groundwater
$199.99
Azospirillum IV
$109.99
