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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Cloud Dynamics
$169.99
Classification Methods for Internet Applications
$109.99
Democracy, Identity and Foreign Policy in Turkey
$54.99
Multiscale Modeling and Simulation of Shock Wave-Induced Failure in Materials Science
$54.99
Protocols and Methodologies in Basic Science and Clinical Cardiac MRI
$84.99
Einfhrung in die Genetische Epidemiologie
$39.99
Fundamental Issues of Artificial Intelligence
$249.99
The Politics of Autonomy in Latin America
$24.99
Deep Learning in Object Detection and Recognition
$179.99
Krise als Chance
$59.99
Moosetache
$4.46
Toolkit for Counseling Spanish-Speaking Clients
$99.00
Trade Wins or Trade Wars
$69.99
Internet Valuation
$219.99
From Agatha Christie to Ruth Rendell
$109.99
Die systematische Nomenklatur der organischen Chemie
$39.99
Mathematics and Culture VI
$54.99
Students' Experiences and Perspectives on Secondary Education
$54.99
Industrial Applications of Glycoside Hydrolases
$109.99
Sozialdemokratische Presse und Literatur
$84.99
Micro Mentor Texts (10-copy pack)
$269.90
Monetary Economics
$119.99
Optimization and Decision Science
$159.99
Populism, Fundamentalism, and Identity
$54.99
Chromosome Damage and Repair
$54.99
La pizza de Peppa
$4.49
Finite Presentability of S-Arithmetic Groups. Compact Presentability of Solvable Groups
$29.99
Evaluating NATO Enlargement
$129.99
Fhrungsaufgabe Interne Kommunikation
$39.99
Bubbly Flows
$169.99
Flexible Query Answering Systems
$39.99
Fahrzeugentwicklung im Wandel
$44.99
Chlorophyll a Fluorescence in Aquatic Sciences: Methods and Applications
$169.99
Palgrave Advances in Peacebuilding
$84.99
Mathematische Theorie des Lichtes
$49.99
Die Lwen-Liga
$17.99
Linear Fresnel Reflector Systems for Solar Radiation Concentration
$109.99
Advanced Intelligent Pipeline Management Technology
$159.99
Nexus of Resilience and Public Policy in a Modern Risk Society
$79.99
E-Commerce Security and Privacy
$109.99
