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 $49.50 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: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$49.50
@ 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
$54.99 $54.99

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

Product Details

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

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. 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.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Subsurface Conditions

Subsurface Conditions

$129.00
Finite Element Methods for Engineering Sciences

Finite Element Methods for Engineering Sciences

$39.99
Illustrated Handbook of Succulent Plants: Aizoaceae F-Z

Illustrated Handbook of Succulent Plants: Aizoaceae F-Z

$169.99
Graphs and Order

Graphs and Order

$329.99
Die chemischen Vorgnge im Muskel und ihr Zusammenhang mit Arbeitsleistung und Wrmebildung

Die chemischen Vorgnge im Muskel und ihr Zusammenhang mit Arbeitsleistung und Wrmebildung

$84.99
Reconstructing Mobility

Reconstructing Mobility

$169.99
Mission Mumbai

Mission Mumbai

$5.21
Craniopharyngioma

Craniopharyngioma

$54.99
Financial Markets Regulation

Financial Markets Regulation

$109.99
Conservation Management of Freshwater Habitats

Conservation Management of Freshwater Habitats

$129.00
What Kind of Government?

What Kind of Government?

$139.99
An Introduction to Knowledge Engineering

An Introduction to Knowledge Engineering

$59.99
The Cultural Life of Capitalism in Yugoslavia

The Cultural Life of Capitalism in Yugoslavia

$89.00
Curve Ball

Curve Ball

$54.99
Aktuelle Diskurse in der Sozialwirtschaft III

Aktuelle Diskurse in der Sozialwirtschaft III

$64.99
Grenzen des Sozialraums

Grenzen des Sozialraums

$39.99
Chefsache Kulturwandel

Chefsache Kulturwandel

$49.99
Leitfaden der Desinfektion fr Desinfektoren und Krankenpflegepersonen in Frage und Antwort

Leitfaden der Desinfektion fr Desinfektoren und Krankenpflegepersonen in Frage und Antwort

$69.99
Ostdeutsche Wirtschaft im Umbruch

Ostdeutsche Wirtschaft im Umbruch

$59.99
Fehlerklima in der Klasse

Fehlerklima in der Klasse

$64.99
Vascular Ion Channels in Physiology and Disease

Vascular Ion Channels in Physiology and Disease

$199.99
The Nitrate King

The Nitrate King

$54.99
Western Science in the Arab World

Western Science in the Arab World

$39.99
Innovationsmanagement

Innovationsmanagement

$59.99
Sanierung von baulichen Anlagen

Sanierung von baulichen Anlagen

$89.99
Breeding and Biotechnology of Tea and its Wild Species

Breeding and Biotechnology of Tea and its Wild Species

$169.99
Data-Driven Scheduling of Semiconductor Manufacturing Systems

Data-Driven Scheduling of Semiconductor Manufacturing Systems

$179.99
Evaluation of Text Summaries Based on Linear Optimization of Content Metrics

Evaluation of Text Summaries Based on Linear Optimization of Content Metrics

$169.99
Nearly Projective Boolean Algebras

Nearly Projective Boolean Algebras

$54.99
Modeling and Analysis of Conventional Defense in Europe

Modeling and Analysis of Conventional Defense in Europe

$79.99
Electron Energy Loss Spectrometers

Electron Energy Loss Spectrometers

$39.99
Machine Learning: ECML'97

Machine Learning: ECML'97

$39.99
Group Theory II

Group Theory II

$99.99
Ungifted

Ungifted

$7.46
Organized Crime, Fear and Peacebuilding in Mexico

Organized Crime, Fear and Peacebuilding in Mexico

$59.99
The Morphology and Pathogenicity of the Bladder Worms

The Morphology and Pathogenicity of the Bladder Worms

$54.99
Kinematics, Dynamics and Structure of the Milky Way

Kinematics, Dynamics and Structure of the Milky Way

$39.99
The Foreign Policy of the Russian Federation

The Foreign Policy of the Russian Federation

$109.99
Information Processing in Medical Imaging

Information Processing in Medical Imaging

$39.99
Relativity and the Nature of Spacetime

Relativity and the Nature of Spacetime

$49.99
previous
next