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

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

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
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

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

$84.99
See Site In stock Visit Store

Similar Products

Sensory Organ Replacement and Repair

$19.99

Music, Words, and Nationalism

$109.00

Science of Wood Degradation and its Protection

$279.99

Fichtenwlder und Fichtenforste als Waldentwicklungstypen

$59.99

Geologie und Radioaktivitt

$59.99

Understanding Kinetic Resolution by Hydrolases

$49.99

Wish Novels: Blizzard Besties

$5.24

Advances in Data Science and Artificial Intelligence

$199.99

Telemarketing

$24.99

Theory and Practice of Gearing and Transmissions

$199.99

Elliptic Boundary Value Problems on Corner Domains

$39.99

Age-Related Macular Degeneration

$169.99

Muskelkrmpfe

$84.99

Applied Fractional Calculus in Identification and Control

$109.99

Teacher Self-Evaluation

$109.99

Aufgaben- und Abteilungsgliederung in der Industriellen Unternehmung

$59.99

Copycat Critters: 6-Book Set

$21.95

Justifying War

$84.99

Ethnic Interest Groups in US Foreign Policy-Making

$109.99

Community, Civic Engagement and Democratic Governance in Africa

$54.99

Unternehmensforschung

$59.99

Transhumanism and Society

$79.99

Approaches to Peacebuilding

$39.99

Uses of Technology in Lower Secondary Mathematics Education

$19.99

Patchwork-Jugend

$59.99

Chinas Diplomacy and International Law

$179.99

Arto Salomaa: Mathematician, Computer Scientist, and Teacher

$169.99

Algorithmic Learning Theory

$39.99

Harmful Speech and Contestation

$139.99

New Paradigm of Industry 4.0

$179.99

Advances in the Crystallographic and Microstructural Analysis of Charge Density Wave Modulated Cryst

$39.99

Saving Public Higher Education

$159.99

China Satellite Navigation Conference (CSNC) 2017 Proceedings: Volume III

$219.99

Datenschutz in drei Stufen

$64.99

Das Stetigkeitsprinzip im neuen Bilanzrecht

$59.99

Imaging and Technology in Urology

$199.99

Energiewende "Made in Germany"

$69.99

Clinical Obstetrics and Gynaecology

$54.99

Returning to Q'ero

$159.99

Word Fall- 350 Puzzles Inspired by Your Favorite Online Word Game by Gareth Moore

$9.99