Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
FME '94: Industrial Benefit of Formal Methods
Best Price (Coupon Required):
Buy FME '94: Industrial Benefit 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.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Operational Research and the Social Sciences
$39.99
Corporate Responsibility and Digital Communities
$139.99
Dye Pollution from Textile Industry
$179.99
Geschichte des Husserl-Archivs History of the Husserl-Archives
$54.99
Information and Management Systems for Product Customization
$84.99
Generationenbeziehungen
$44.99
Astrophysics in the Next Decade
$379.99
Kritische Differenzen geteilte Perspektiven
$59.99
Kryptogamen 1
$99.99
Die Unruhe Des Anfangs
$129.99
A Complete Guide to PivotTables
$34.99
Advance Compression and Watermarking Technique for Speech Signals
$54.99
Webster's New World Portable Print Dictionary, Second Edition by The Editors of the Webster's New Wo
$25.99
Performing Complexity: Building Foundations for the Practice of Complex Thinking
$59.99
Ebene und rumliche Rahmentragwerke
$44.99
Reaction and Renewal in South Africa
$109.99
Hong Kong Public Budgeting
$119.99
Buttresss World Guide to Abbreviations of Organizations
$39.99
Basiswissen Gynkologie und Geburtshilfe
$37.99
IT-Offshore realisieren
$34.99
Liver Disorders
$149.00
Pluralism and Diversity
$139.99
Atmospheric and Space Sciences: Ionospheres and Plasma Environments
$54.99
Advances in Nuclear Science and Technology
$129.00
Transfer of Radionuclides in Natural and Semi-Natural Environments
$329.99
Religiser Pluralismus und Gesellschaftsstruktur
$59.99
Zwischen Resignation und Gewalt
$44.99
Stability of Non-Linear Constitutive Formulations for Viscoelastic Fluids
$54.99
Tauberian Theory
$139.99
Geometry II
$159.99
Business Intelligence and Modelling
$149.00
Wissenschaftliches Publizieren mit Word fr Windows
$69.99
Scholastic In My Language Stickers Love Is You And Me French
$54.25
An Introduction to Hilbert Space and Quantum Logic
$69.99
Geometric Continuity of Curves and Surfaces
$54.99
Inklusionsrume und Diversitt im digitalen Zeitalter
$44.99
Untersuchung von Mitteln zur Dmpfung der Bugwelle an Flachwasserschiffen
$54.99
The Political Economy of Education in Central Asia
$59.99
Protecting the Mind
$129.99
Internationaler Naturschutz
$24.99
