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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Historical Development of Energetics
$84.99
Fuzzy Logic in Management
$39.99
Introduction to Bionanotechnology
$64.99
Visual Knowledge Discovery and Machine Learning
$199.99
Martial Culture and Historical Martial Arts in Europe and Asia
$59.99
Phytoremediation
$219.99
Introduction to Virology
$109.99
Subjektive Organisationstheorien
$59.99
Structural Reliability
$169.99
Machu Picchu: The Lost Civilization
$19.50
Technik der Verbandstoffherstellung
$59.99
Erkundung von Verkehrswegen in Neulndern
$59.99
Numerische Strmungsberechnung
$29.99
Plant Cell Walls
$74.99
TErrestrial Trunked RAdio - TETRA
$169.99
Feature Extraction, Construction and Selection
$169.00
Pan Vascular Medicine
$84.99
Predicting User Performance and Errors
$109.99
Capabilities - Handlungsbefhigung und Verwirklichungschancen in der Erziehungswissenschaft
$39.99
Geronimo Stilton and the Kingdom of Fantasy: Dragon of Fortune (#2) (Special Edition) (Hardcover)
$14.99
Kompetenzbasiertes Management in der Produktentwicklung
$74.99
Ehegattensplitting und Familienpolitik
$74.99
Intelligent Machining of Complex Aviation Components
$199.99
Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. / Scientific Correspondence with
$189.00
Gene Therapy for HIV
$54.99
Advanced Artificial Intelligence and Robo-Justice
$119.00
The Grammar of Consciousness
$139.00
Metal Complexes in Aqueous Solutions
$219.99
Make America Fit Again
$59.99
Macromolecular Protein Complexes V
$229.99
Double Your Pleasure Reading Grade 3 (100 Books)
$275.00
Mechanics of Solids
$169.99
Eine konomische Analyse der Mediendemokratie
$89.99
Unternehmensbewertung in Osteuropa
$49.99
Soft Computing in Web Information Retrieval
$169.99
Classification in the Information Age
$169.99
Modeling Decisions for Artificial Intelligence
$54.99
Tropfen, Blasen und Lamellen oder Von den Formen flssiger Krper
$49.99
The Politics of the Body in Weimar Germany
$169.99
Mineral Micro-Geochemistry Constraints on Petrogenesis and Genesis of Gold Deposit
$129.00
