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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. 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
Partitional Clustering Algorithms
$109.99
Familienzusammenfhrung und Rechtsschutz in Deutschland und den USA
$149.99
Reviews of Environmental Contamination and Toxicology Volume 242
$129.99
Public-Private Partnerships in Health
$54.99
World Organization of Systems and Cybernetics 18. Congress-WOSC2021
$169.99
Zeichnungen, Darstellungen, Schaltungsdokumentationen in der Elektrotechnik
$59.99
Moon Rising: A Graphic Novel (Wings of Fire Graphic Novel #6) (Hardcover)
$18.74
Soziale Ungleichheiten als Herausforderung fr inklusive Bildung
$44.99
Emerging Research in Electronics, Computer Science and Technology
$219.99
Pathologie des Nervensystems VII
$119.99
The Developing Marsupial
$84.99
Proceedings of the 2nd International Conference on Communication, Devices and Computing
$169.99
Chalk Talks in Internal Medicine
$99.00
Electroweak Physics at the Hadron Collider with the ATLAS Detector
$84.99
Assimilation oder Segregation?
$59.99
The Yamuna River Basin
$169.99
Scholastic Discover More: Mi cuerpo (Spanish)
$5.96
BBC World Service
$44.99
Microporous and other Framework Materials with Zeolite-Type Structures
$549.99
Information Security Applications
$54.99
IV-Controlling auf dem Prfstand
$59.99
Der Eisenbau
$84.99
Transnational Corporations and the Global Economy
$169.99
The Proceedings of 2022 International Conference on Wireless Power Transfer (ICWPT2022)
$449.99
Navigational Enterprises in Europe and its Empires, 17301850
$119.99
Ernhrung Krper Geschlecht
$74.99
Elements of Robotics
$59.99
Advances in Knowledge Discovery and Data Mining
$109.99
Einheit und Freiheit
$59.99
Politische Information im Fernsehen
$59.99
Pediatric Development and Neonatology
$39.99
Fiber Fuse
$54.99
Beschftigung, Geld und Preisniveaustabilitt
$59.99
Functional Food and Human Health
$299.99
Handbuch Soziale Medien
$109.00
Scattering Cross Section of Unequal Length Dipole Arrays
$39.99
Proceedings of the 17th International Conference on New Trends in Fatigue and Fracture
$219.99
Zur Untersuchung der Hochofenvorgnge
$54.99
Bindung und Partnerschaftsmodell
$64.99
Perspectives in Interactional Psychology
$54.99
