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

FME '96: Industrial Benefit and Advances in Formal Methods

Best Price (Coupon Required):
Buy FME '96: Industrial Benefit and Advances in 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
9783540497493
Condition
New
Product Description

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

The behavior of structures composed of composite materials

The behavior of structures composed of composite materials

$54.99
Quantitative Aspects of Chemical Pharmacology

Quantitative Aspects of Chemical Pharmacology

$54.99
Sharks and Other Sea Monsters (Encyclopedia Prehistorica Series) by Robert Sabuda

Sharks and Other Sea Monsters (Encyclopedia Prehistorica Series) by Robert Sabuda

$49.99
A New Target Detector Based on Geometrical Perturbation Filters for Polarimetric Synthetic Aperture

A New Target Detector Based on Geometrical Perturbation Filters for Polarimetric Synthetic Aperture

$169.99
Der aphasische Symptomencomplex

Der aphasische Symptomencomplex

$59.99
Nanotechnology in Regenerative Medicine

Nanotechnology in Regenerative Medicine

$84.99
Overload, Performance Incompetence, and Regeneration in Sport

Overload, Performance Incompetence, and Regeneration in Sport

$169.99
Group Technology

Group Technology

$54.99
Management in Technologieunternehmen

Management in Technologieunternehmen

$39.99
Trajectory Planning for Automatic Machines and Robots

Trajectory Planning for Automatic Machines and Robots

$249.99
Algebraic Computing in Control

Algebraic Computing in Control

$39.99
An International Perspective on Contemporary Developments in Victimology

An International Perspective on Contemporary Developments in Victimology

$159.99
Halogen Bonding II

Halogen Bonding II

$259.00
Valuing Detroits Art Museum

Valuing Detroits Art Museum

$129.99
Die Wirkung von Vertrauen auf die Ex-Post-Transaktionskosten in Kooperation und Hierarchie

Die Wirkung von Vertrauen auf die Ex-Post-Transaktionskosten in Kooperation und Hierarchie

$69.99
Reliable Face Recognition Methods

Reliable Face Recognition Methods

$109.99
The Future of Long COVID

The Future of Long COVID

$34.99
Living Buddhist Statues in Early Medieval and Modern Japan

Living Buddhist Statues in Early Medieval and Modern Japan

$119.99
Advances in Information Communication Technology and Computing

Advances in Information Communication Technology and Computing

$279.99
Handbook of Geometric Programming Using Open Geometry GL

Handbook of Geometric Programming Using Open Geometry GL

$84.99
ber die physiologischen Wirkungen der Muskelextraktivstoffe

ber die physiologischen Wirkungen der Muskelextraktivstoffe

$54.99
Advances in Advertising Research (Vol. V)

Advances in Advertising Research (Vol. V)

$39.99
Understanding Conflict Between Russia and the EU

Understanding Conflict Between Russia and the EU

$54.99
Drilling Down

Drilling Down

$37.99
Nucleic Acid Hybridization in the Study of Cell Differentiation

Nucleic Acid Hybridization in the Study of Cell Differentiation

$39.99
Das Zwischenreich des Dialogs

Das Zwischenreich des Dialogs

$149.99
The Bridges of Madison County by Robert James Waller

The Bridges of Madison County by Robert James Waller

$15.99
Indian Philosophy of Language

Indian Philosophy of Language

$109.99
Spiritual Artificial Intelligence (SAI)

Spiritual Artificial Intelligence (SAI)

$109.99
Advancements in Electric Machines

Advancements in Electric Machines

$109.00
Macroeconomic Modelling of R&D and Innovation Policies

Macroeconomic Modelling of R&D and Innovation Policies

$49.99
The Radio Galaxy Messier 87

The Radio Galaxy Messier 87

$39.99
A Theory of Applied Linguistics

A Theory of Applied Linguistics

$139.99
Computational Collective Intelligence

Computational Collective Intelligence

$54.99
A Mouse Named Meg

A Mouse Named Meg

$4.46
Leitfaden Safety of the Intended Functionality

Leitfaden Safety of the Intended Functionality

$17.99
Business Innovation: Das St. Galler Modell

Business Innovation: Das St. Galler Modell

$89.99
Reliable Distributed Systems

Reliable Distributed Systems

$109.99
A Cultural History of the 1984 Winter Olympics

A Cultural History of the 1984 Winter Olympics

$119.99
Aerosol Inhalation: Recent Research Frontiers

Aerosol Inhalation: Recent Research Frontiers

$129.00
previous
next