Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642250323
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

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