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
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software De
$39.99
Anglican Cathedrals in Modern Life
$159.99
COMECON Foreign Trade Data 1980
$19.99
Advanced CMOS Biochips
$139.00
Perceiving the Divine through the Human Body
$119.99
Die dreiteilige Grostadt als Heimat
$59.99
Das System Biokonomie
$99.99
Eine Bautechnische Studienreise nach West- und Ostpreussen
$49.99
Statistische Grundlagen zu Deutschlands Versorgung mit Nahrungs- und Futtermitteln
$59.99
Die letzten Jahre des Nikolaus von Kues
$59.99
Advanced Diagnostics for Magnetic and Inertial Fusion
$129.00
Modelling Trends in Solid and Hazardous Waste Management
$109.99
International Yearbook of Soil Law and Policy 2018
$109.99
Non-cognitive Skills and Factors in Educational Attainment
$39.99
Single Molecular Machines and Motors
$169.99
Technische Chemie
$99.00
From Integrated Publication and Information Systems to Information and Knowledge Environments
$54.99
Fnf Jahrtausende Radfahrzeuge
$34.99
Contemporary Crisis Fictions
$54.99
The Juvenile Offender
$169.00
New Trends in Atomic and Molecular Physics
$109.99
The Scroll of Chaos (Hardcover)
$14.24
Investment Strategies
$59.99
Sicherungstechnik fr Bahnen im Stadtverkehr
$17.99
Die Grundlagen des physikalischen Begriffssystems
$59.99
Advanced High Voltage Power Device Concepts
$219.99
Personal Consumption in the USSR and the USA
$44.99
Konstellationen des Antiziganismus
$69.99
A Collection of Test Problems for Constrained Global Optimization Algorithms
$39.99
Probabilistic and Randomized Methods for Design under Uncertainty
$259.00
Natural Language Processing and Chinese Computing
$54.99
Partial Differential Equations and Calculus of Variations
$44.99
Essentielle Spurenelemente in der Nahrung
$44.99
Hal Leonard - Guitar Superbook and CD
$32.99
Optics at the Nanometer Scale
$129.00
The Practice of Forensic Neuropsychology
$109.99
Legal Aspects of Cruises
$149.00
Stoicism and the Western Political Tradition
$159.99
Evidenzbasierung in der Suchtprvention
$34.99
The Art of Collaboration
$39.99
