Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Anatomy of Idealism
$84.99
Forum Markenforschung 2016
$54.99
Die verborgene Geschichte des Kindes in der deutschen Literatur
$79.99
Catalysis in Chemistry and Biochemistry Theory and Experiment
$169.99
The Comprehensive Handbook of Behavioral Medicine
$54.99
Meteorologie und Klimatologie
$49.99
Elementarmathematik vom Hheren Standpunkte Aus, II
$64.99
Logic-Based Program Synthesis and Transformation
$39.99
Enhancing Holistic Well-Being of Children and Youth
$159.99
The Trials of Apollo: The Dark Prophecy
$6.71
Information Security Theory and Practice
$39.99
Recent Advances in Computer Vision Applications Using Parallel Processing
$139.00
Smart Modeling and Simulation for Complex Systems
$129.99
Corneal Topography
$99.00
Writing Cultures and Literary Media
$79.99
Mediterranean Protected Areas in the Era of Overtourism
$159.99
Reproduktionsmedizin
$199.00
Computer Vision -- ACCV 2007
$84.99
Evolutionre Betrachtung der Marktdynamik
$49.99
Multichannel-Marketing-Handbuch
$79.99
Quick Guide Trendmanagement
$19.99
Intellectuals and the Left in France Since 1968
$169.99
Business Partner Management
$54.99
Ganzheitliche Finanzplanung
$39.99
Transitioning Media in a Post COVID World
$179.99
Preparation of Nuclear Targets
$54.99
Formal Methods and Testing
$39.99
Partielle Differentialgleichungen und ihre Anwendungen auf physikalische Fragen
$59.99
Climate Change, Disasters, Sustainability Transition and Peace in the Anthropocene
$39.99
Termination Proofs for Logic Programs
$39.99
Der agile Einkauf
$49.99
Perturbed Semi-Markov Type Processes II
$139.99
Khumbu Himal Ergebnisse des Forschungsunternehmens Nepal Himalaya
$49.99
Von der Information zum Wissen
$49.99
Religion, Rebellion, Revolution
$109.99
Top Quark Spin Correlations with the CMS Detector
$139.99
Bodenkologie: Mikrobiologie und Bodenenzymatik Band III
$89.00
Asset Management fr Infrastrukturanlagen - Energie und Wasser
$149.00
Funktionsbergreifende Zusammenarbeit im Lsungsgeschft
$59.99
Musculoskeletal Diseases 2009-2012
$39.99
