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 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Analysing Digital Interaction
$169.99
Masters Theses in the Pure and Applied Sciences
$54.99
Sociobiology and Epistemology
$109.99
Sicherheitskritische Mensch-Computer-Interaktion
$64.99
De La Mettrie's Ghost
$26.00
Yearbook of Intensive Care and Emergency Medicine 2009
$139.00
Managing Innovation Driven Companies
$54.99
Gamma-Glutamyl Transpeptidases
$54.99
Monitoring and Early Warning Technologies on Karst Lands
$109.00
Das Fernstrassenproblem Europas
$59.99
Use and Misuse of New Technologies
$149.00
Princess Pink and The Land of Fake-Believe: Moldylocks and the Three Beards
$5.24
Analyzing Discourse and Text Complexity for Learning and Collaborating
$109.99
Pfahlgrndungen
$49.99
Female Entrepreneurs in the Long Nineteenth Century
$129.99
Basic Income - From Vision to Creeping Transformation of the Welfare State
$79.99
Challenges in Mechanics of Time Dependent Materials, Fracture, Fatigue, Failure and Damage Evolution
$169.99
International Handbook of Population and Environment
$199.99
Multiple-Scale Analysis of Boundary-Value Problems in Thick Multi-Level Junctions of Type 3:2:2
$59.99
The Biochemistry of the Carotenoids
$54.99
Therapie gastroenterologischer Krankheiten
$119.99
Environmental Toxicology, Economics and Institutions
$109.99
Zeit und Sein des Sinnlichen
$59.99
Fuzzy Hypergraphs and Related Extensions
$39.99
Staatsverschuldung
$59.99
The Effects of Taurine on Excitable Tissues
$54.99
Cerebrospinal Fluid Diagnostics in Neurology
$14.99
Comparative Hearing: Birds and Reptiles
$169.99
Leibniz on Individuals and Individuation
$109.99
Fachtagung Prozerechner 1981
$69.99
Forty Years of Renovating the Income Distribution in China
$129.99
Philosophy Of Leisure
$29.99
Political Parties and Electoral Clientelism
$119.99
Fundamental Theories and Their Applications of the Calculus of Variations
$299.99
Quasi-Dimensional Simulation of Spark Ignition Engines
$109.99
Die Internationale Politische konomie des Risikos
$59.99
Diffusion Processes, Structure, and Properties of Metals
$54.99
e-Learning, e-Education, and Online Training
$39.99
Signal Processing and Pattern Recognition in Nondestructive Evaluation of Materials
$84.99
MCR 2009
$169.00
