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
Development of the Digestive System in the North American Opossum (Didelphis virginiana)
$109.99
Ach, so ist das!
$89.99
Dragonfly Nymphs of North America
$229.00
Media and Conflict in the Social Media Era in China
$109.99
Encyclopedia of Physics / Handbuch der Physik
$59.99
Selbstfhrung: Auf dem Pfad des Business-Huptlings
$84.99
Mycorrhizal Biology
$169.99
Mischief At Midnight (Hardcover)
$12.74
Politik und Regieren in Niedersachsen
$49.99
Independent Reading Library: Level O (45 Books)
$220.00
Internal Migration as a Life-Course Trajectory
$119.99
Produktion von Fernsehnachrichten
$59.99
Chinese Leadership
$54.99
Die Auenpolitik der Trkei im Mittleren Osten
$59.99
High Performance Computing in Biomimetics
$149.00
Evidence in Anti-Doping at the Intersection of Science & Law
$169.00
EJB Reviews
$109.99
The Black Humanist Tradition in Anti-Racist Literature
$109.00
IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering
$169.99
Macrocyclic Chemistry
$169.99
Emerging Nanomaterials
$199.99
How It's Built: Sailboat
$5.99
Umformtechnik Handbuch fr Industrie und Wissenschaft
$499.99
Data Science and Security
$219.99
Nature in Indian Philosophy and Cultural Traditions
$54.99
ECOOP '91 European Conference on Object-Oriented Programming
$39.99
Neural Control of Locomotion
$84.99
Elektrochemie
$64.99
Concurrency: Theory, Language, and Architecture
$39.99
Multilingual Routes in Translation
$139.99
Modeling Psychophysical Data in R
$79.99
Inspired by Nature
$109.99
Die ozeanischen Rcken
$59.99
The Ganga River Basin: A Hydrometeorological Approach
$109.99
Einfhrung in die Kategorientheorie
$29.99
Das erweiterte Neugeborenenscreening
$17.99
Private Equity Investing in Emerging Markets
$89.99
Atlas of Head and Neck Surgery
$379.99
Transition Towards 100% Renewable Energy
$109.99
Das Image von Journalisten
$69.99
