Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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.
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 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Doctoral Supervision in Southern Africa
$59.99
Project Go Green (Hardcover)
$11.24
Numerische Bahnsteuerung
$59.99
Grundlagen der Halbleiter-Elektronik
$69.99
The Science of Time 2016
$189.00
Cinderella's Stick
$69.99
Die Erde im Visier
$29.99
Angebotserstellung und Planung von Internet-Projekten
$74.99
Epithelial Cell Culture
$129.00
Druggable Lipid Signaling Pathways
$129.00
Entrepreneurship, Technological Change and Circular Economy for a Green Transition
$169.99
Implementing Semantic Web Services
$54.99
Neuroprotection and Neuroregeneration for Retinal Diseases
$89.00
Sustainable and Clean Energy Production Technologies
$219.99
The Jackknife and Bootstrap
$299.00
Young Women's Voices Grades 9-12
$126.00
The Spastic Forms of Cerebral Palsy
$54.99
CyberParks The Interface Between People, Places and Technology
$59.99
Einfhrung in die Softwaretechnik
$69.99
Informationssysteme und Datenschutz im Krankenhaus
$44.99
Neurological Control Systems
$39.99
Autocracy
$109.99
Bohmian Mechanics and Quantum Theory: An Appraisal
$219.99
Real Friends by Shannon Hale
$12.99
Abschlussprfer und Bilanzpolitik der Mandanten
$79.99
Wahlen in postsozialistischen Staaten
$64.99
Giant Resonances in Atoms, Molecules, and Solids
$169.00
Smart Mobile Communication & Artificial Intelligence
$129.99
Autotuning of PID Controllers
$109.99
Handbook on 3D3C Platforms
$109.99
Frau im Leistungssport
$69.99
The Concept of Judgment in Montaigne
$54.99
Youth Identities, Localities, and Visual Material Culture
$109.99
Management of Childhood Brain Tumors
$259.00
Leitfaden Auenwirtschaft
$69.95
Advanced Concepts for Intelligent Vision Systems
$39.99
Cross-Layer Design for Secure and Resilient Cyber-Physical Systems
$199.99
Die Anwendungsmglichkeiten der chemischen Luft- und Pflanzenanalyse zur Beurteilung industrieller I
$59.99
Innovative Applications in Data Mining
$84.99
Heat Kernels and Dirac Operators
$69.99
