Copied FME '94: Industrial Benefit of Formal Methods
FME '94: Industrial Benefit of Formal Methods
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
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
|
|
$84.99 | $84.99 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Die Grundlagen der Beurteilung statischer Arbeit
$54.99
Mobile Health
$219.99
Functional Imaging and Modeling of the Heart
$39.99
Remote Sensing Intelligent Interpretation for Mine Geological Environment
$199.99
Aktuelle Probleme aus dem Gebiet der Cancerologie II
$69.99
Statistical Language and Speech Processing
$54.99
Internet of Medical Things
$199.99
Corruption in the Public Construction Sector
$109.99
Pericytes
$199.99
The Molecular Immunology of Complex Carbohydrates 2
$169.00
Raising Public Awareness of Mathematics
$39.99
From Slavery to Freedom
$57.14
Friedrich List: Persnliche Begegnungen mit berhmten Zeitzeugen
$59.99
Individuelle Erwerbschancen in Ostdeutschland
$49.99
Taschenatlas der Schweizer Flora
$54.99
Der Euro-Kapitalmarkt
$34.99
The Creation of Aesthetic Plastic Surgery
$54.99
Fundamental Fluid Mechanics and Magnetohydrodynamics
$89.99
La sombrilla roja
$6.71
An Introduction to Modern Variational Techniques in Mechanics and Engineering
$54.99
Photovoltaik
$64.99
Die Behandlung des Tetanus
$59.99
Chaucer and the Late Medieval World
$64.99
Teeny Tiny Bunny
$4.49
Conductive Polymers
$54.99
Der Tuberkulse im Strafvollzug
$44.99
Chloroplast Research in Arabidopsis
$109.99
Lectures on Partial Differential Equations
$69.99
Technik und Industrielle Revolution
$69.99
Wellenkupplungen und Wellenschalter
$59.99
Entstehung und Entwickelung der Laryngoskopie
$59.99
Aphid Biodiversity under Environmental Change
$129.00
Progress in Diagnostics and Therapy of Prostatic Cancer
$109.99
Multiscale Dissipative Mechanisms and Hierarchical Surfaces
$169.99
Epidemiology of Human Congenital Malformations
$109.99
Politische Kommunikation und Whlerverhalten
$29.99
Subsurface Environmental Modelling Between Science and Policy
$84.99
Secondary Mitral Valve Regurgitation
$84.99
Emotion Regulation and Well-Being
$169.99
Transactions on Computational Systems Biology VIII
$39.99
