Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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.
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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Computer Vision ECCV 2024
$64.99
Role of Signaling Pathways in Brain Tumorigenesis
$119.00
Physical Sciences and History of Physics
$169.99
Linear Programming
$69.99
Sicherheitsvorschriften fr die Errichtung elektrischer Starkstromanlagen
$44.99
Die Anwendungsweise der Lokalansthesie in der Chirurgie
$59.99
Praying and Campaigning with Environmental Christians
$109.99
Managing Innovation in Organisations
$99.99
Die positive Sule unter dem Einflu negativer Ionen
$54.99
Proteomics of Spermatogenesis
$169.00
Pflegehandbuch Arzneitherapie
$239.00
Geometric Algebra Applications Vol. I
$249.99
Holomorphic Dynamics
$34.99
Human-Computer Interaction. Theoretical Approaches and Design Methods
$109.99
Zwischen Anwesenheit und Abwesenheit
$89.99
Metal Forming Practise
$109.00
Nanostructured Thermoelectric Films
$129.00
New Perspectives On Russian And Soviet Artistic Culture
$19.99
Geschftserfolge in Indien
$44.99
Modeling Nonlinear Problems in the Mechanics of Strings and Rods
$69.99
Digital Customer Experience Management der Plattform Steam
$17.99
Catalysis
$39.99
Big Tree (Hardcover)
$24.74
Nevanlinna Theory
$79.99
Den Wandel verndern
$49.99
Fr den Konstruktionstisch
$39.99
Mac Cracks the Code (Mac B, Kid Spy #4) (Hardcover)
$9.74
Measuring Professional Competence for the Teaching of Mathematical Modelling
$59.99
Educational Developments, Practices and Effectiveness
$39.99
Kunstseide
$59.99
The Retina and Circadian Rhythms
$169.99
Anglo-French Relations Before the Second World War
$54.99
Cause-Related Marketing
$79.99
Unternehmensbergreifende Integration von Informationssystemen
$74.99
Cohomology of Sheaves
$109.99
Cryptographic Hardware and Embedded Systems -- CHES 2015
$39.99
Temporary and Child Marriages in Iran and Afghanistan
$119.99
Financial Sector Development in African Countries
$44.99
Die mediale Konstruktion der Wirklichkeit
$37.99
Formation and Evolution of Low Mass Stars
$219.99
