Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Evolutionary Computation in Combinatorial Optimization
$39.99
Estates on the Edge
$169.99
Organizational Video-Ethnography Revisited
$64.99
Economics in Theory and Practice: An Eclectic Approach
$39.99
Last Mile Internet Access for Emerging Economies
$129.99
Vegetables and Vegetable Products
$84.99
Photonen
$59.99
Nordic Social Pedagogical Approach to Early Years
$179.99
Acute Neuro Care
$69.99
Krperverletzungsdelikte an Kindern unter 6 Jahren
$69.99
Massenspektrometrie
$49.99
The French Experience from Republic to Monarchy, 1792-1824
$109.99
The Leaf Thief: Don't Touch That Flower!
$5.99
Allgemeine Grundlagen der Quantenstatistik und Quantentheorie
$59.99
Politische Geschichte der Gegenwart
$59.99
Todd Parr Books: feliz como eres
$5.21
Complex Decision Making
$109.99
The Balkans
$79.99
Die selbstttige Regelung elektrischer Maschinen
$59.99
Verification and Evaluation of Computer and Communication Systems
$54.99
Diagnostic Clusters in Shoulder Conditions
$119.99
Web-Kommunikation mit OpenSource
$49.99
The first contest for Singapore, 18191824
$39.99
Understanding Ageing for Nurses and Therapists
$34.99
Fortschritte der Chemie organischer Naturstoffe
$169.00
Sobreviv el naufragio del Titanic, 1912 (I Survived #1)
$4.49
Industrial Competitiveness and Restructuring in Enlarged Europe
$109.99
The Role of Business in Global Governance
$54.99
Programmieren mit Fortran 90
$49.99
Variational and Topological Methods in the Study of Nonlinear Phenomena
$84.99
Berufsbilder und Weiterbildungsbedarf im Technischen Vertrieb
$69.99
External Environmental Costs of Electric Power
$109.99
Data Privacy Management, Cryptocurrencies and Blockchain Technology
$64.99
Beverages: Technology, Chemistry and Microbiology
$119.99
Gesetz und Recht im Krankenhaus
$44.99
An Economic Analysis of Bilateral Investment Treaties
$39.99
Thermodynamics In Nuclear Power Plant Systems
$149.00
Intelligent Systems in Computing and Communication
$139.99
Cancer: Palliative Care
$109.99
OpenMP: Portable Multi-Level Parallelism on Modern Systems
$84.99
