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

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Best Price (Coupon Required):
Buy FME '97 Industrial Applications and Strengthened Foundations of Formal Methods for $76.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: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.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
$84.99 $84.99

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

Product Details

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

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Todo es relativo

Todo es relativo

$4.46
Strategien entwickeln

Strategien entwickeln

$9.99
Practical Management of Thyroid Cancer

Practical Management of Thyroid Cancer

$169.99
Surface and Colloid Chemistry in Natural Waters and Water Treatment

Surface and Colloid Chemistry in Natural Waters and Water Treatment

$109.99
On Replacement

On Replacement

$109.00
Unfallversicherung und AUB 88

Unfallversicherung und AUB 88

$59.99
The Evolving Universe

The Evolving Universe

$169.99
Japan in Analysis

Japan in Analysis

$109.99
Hegemonic Transition

Hegemonic Transition

$139.99
Inflammatory Breast Cancer: An Update

Inflammatory Breast Cancer: An Update

$169.99
Pathology of Malignant Melanoma

Pathology of Malignant Melanoma

$109.99
Rapid Analysis Techniques in Food Microbiology

Rapid Analysis Techniques in Food Microbiology

$169.99
Mglichkeiten und Grenzen des Kaltgesenkschmiedens als eine fertigungstechnische Alternative fr kle

Mglichkeiten und Grenzen des Kaltgesenkschmiedens als eine fertigungstechnische Alternative fr kle

$69.99
Sauerstoffversorgung und Sure-Basenhaushalt in tiefer Hypothermie

Sauerstoffversorgung und Sure-Basenhaushalt in tiefer Hypothermie

$69.99
Gesellschaft, Natur, Technik

Gesellschaft, Natur, Technik

$59.99
Nonlinear Fractional Schrdinger Equations in R^N

Nonlinear Fractional Schrdinger Equations in R^N

$69.99
French Studies in the Philosophy of Science

French Studies in the Philosophy of Science

$129.00
Concepts for Neural Networks

Concepts for Neural Networks

$109.99
Analyse von Robo-Advice unter besonderer Bercksichtigung des Anlageverhaltens deutscher Privatkunde

Analyse von Robo-Advice unter besonderer Bercksichtigung des Anlageverhaltens deutscher Privatkunde

$79.99
Neighborhood Rebels

Neighborhood Rebels

$119.99
Practising Cultural Geographies

Practising Cultural Geographies

$169.99
Respiratoren in der klinischen Praxis

Respiratoren in der klinischen Praxis

$69.99
Springers Handbuch der Betriebswirtschaftslehre 1

Springers Handbuch der Betriebswirtschaftslehre 1

$31.00
Advances in Cryptology  EUROCRYPT '89

Advances in Cryptology EUROCRYPT '89

$109.00
Rechtsfragen im Baubetrieb

Rechtsfragen im Baubetrieb

$44.99
Quasispecies: From Theory to Experimental Systems

Quasispecies: From Theory to Experimental Systems

$169.99
Survivors

Survivors

$5.24
EPD Congress 2015

EPD Congress 2015

$109.00
Materials for Tomorrow

Materials for Tomorrow

$109.99
George Spencer Brown

George Spencer Brown

$39.99
Genomic Diversity

Genomic Diversity

$169.99
Framelets and Wavelets

Framelets and Wavelets

$69.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$54.99
Mobile Internet Security

Mobile Internet Security

$89.99
Rechtspolitische und Rechtsvergleichende Beitrge zum Zivilprozessualen Beweisrecht

Rechtspolitische und Rechtsvergleichende Beitrge zum Zivilprozessualen Beweisrecht

$59.99
Efficiency Measures in the Agricultural Sector

Efficiency Measures in the Agricultural Sector

$84.99
Civic Continuities in an Age of Revolutionary Change, c.17501850

Civic Continuities in an Age of Revolutionary Change, c.17501850

$59.99
Taurine in Nutrition and Neurology

Taurine in Nutrition and Neurology

$109.99
EuroKarst 2016, Neuchtel

EuroKarst 2016, Neuchtel

$169.00
3D Bioprinting

3D Bioprinting

$84.99
previous
next