Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods: Foundations and Applications

Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Geological Disposal of Carbon Dioxide and Radioactive Waste: A Comparative Assessment

Geological Disposal of Carbon Dioxide and Radioactive Waste: A Comparative Assessment

$219.99
Maschinenelemente Berechnen mit einer Tabellenkalkulation

Maschinenelemente Berechnen mit einer Tabellenkalkulation

$69.99
Die Maschinenbuchhaltung und ihre Rationalisierung

Die Maschinenbuchhaltung und ihre Rationalisierung

$59.99
The General Principles of Law as Applied by International Tribunals to Disputes on Attribution and E

The General Principles of Law as Applied by International Tribunals to Disputes on Attribution and E

$54.99
Staat, Gewerkschaft und Arbeitsproze

Staat, Gewerkschaft und Arbeitsproze

$59.99
Reformkorridore des deutschen Rentensystems

Reformkorridore des deutschen Rentensystems

$69.99
Testing of Communicating Systems

Testing of Communicating Systems

$129.00
European Monetary Integration

European Monetary Integration

$39.99
Politics, Gender and Conceptual Metaphors

Politics, Gender and Conceptual Metaphors

$109.99
Developing Sustainability in Organizations

Developing Sustainability in Organizations

$169.99
Bilaterale Unternehmenskooperationen im Tourismussektor

Bilaterale Unternehmenskooperationen im Tourismussektor

$79.99
Hairy-cell Leukaemia

Hairy-cell Leukaemia

$39.99
Die allogene Transplantation des vorderen Kreuzbandes

Die allogene Transplantation des vorderen Kreuzbandes

$69.99
Fractals for the Classroom

Fractals for the Classroom

$69.99
Optimal Spatial Interaction and the Gravity Model

Optimal Spatial Interaction and the Gravity Model

$54.99
Multiservice Loss Models for Broadband Telecommunication Networks

Multiservice Loss Models for Broadband Telecommunication Networks

$84.99
The Novelist and the Archivist

The Novelist and the Archivist

$54.99
The Transformation of the Communist Economies

The Transformation of the Communist Economies

$39.99
Perspectives on Consumer Behaviour

Perspectives on Consumer Behaviour

$199.99
Evolutionary Computation in Data Mining

Evolutionary Computation in Data Mining

$109.99
Lehrbegriffe und Grundlagen der Gesundheitskonomie

Lehrbegriffe und Grundlagen der Gesundheitskonomie

$29.99
Keynes, Investment Theory and the Economic Slowdown

Keynes, Investment Theory and the Economic Slowdown

$169.99
Trends and Innovations in Information Systems and Technologies

Trends and Innovations in Information Systems and Technologies

$219.99
High Dimensional Probability

High Dimensional Probability

$169.99
Water Pollution and Remediation: Organic Pollutants

Water Pollution and Remediation: Organic Pollutants

$219.99
Advanced R

Advanced R

$34.99
Neuronale Netze in der Betriebswirtschaft

Neuronale Netze in der Betriebswirtschaft

$59.99
Quick Guide Pressearbeit fr kleine und mittelstndische Unternehmen

Quick Guide Pressearbeit fr kleine und mittelstndische Unternehmen

$14.99
Advances in Data Mining

Advances in Data Mining

$39.99
Women in STEM Disciplines

Women in STEM Disciplines

$109.99
Women's Writing in Colombia

Women's Writing in Colombia

$109.99
Weiterentwicklung von Friktionswerkstoffen

Weiterentwicklung von Friktionswerkstoffen

$59.99
Kiss, Kiss, Little Fish

Kiss, Kiss, Little Fish

$7.49
Trust, Social Relations and Engagement

Trust, Social Relations and Engagement

$109.99
Arbeiten aus dem Elektrotechnischen Institut der Technischen Hochschule Aachen

Arbeiten aus dem Elektrotechnischen Institut der Technischen Hochschule Aachen

$49.99
Die Ausrstung der textilen Waren

Die Ausrstung der textilen Waren

$59.99
Die Bestimmung der Gasausbeute von Karbid

Die Bestimmung der Gasausbeute von Karbid

$54.99
FinTech and Artificial Intelligence for Sustainable Development

FinTech and Artificial Intelligence for Sustainable Development

$119.00
Funktionsabhngige Beschwerdebilder des Bewegungssystems

Funktionsabhngige Beschwerdebilder des Bewegungssystems

$59.99
Advances in Advertising Research X

Advances in Advertising Research X

$99.00
previous
next