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
9783642198281
Condition
New
Product Description

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.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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