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
Bond Markets, Treasury and Debt Management
$169.99
The Science of Radio
$99.99
Shakespeare and Costume in Practice
$99.99
At the Edges of Liberalism
$39.99
The Causes and Cures of Criminality
$109.99
Algorithmik fr Einsteiger
$54.99
Financial Markets in Continuous Time
$39.99
State and the Emergence of the British Oil Industry
$44.99
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$89.00
New Developments in Unsupervised Outlier Detection
$149.00
Lead Markets in Age-Based Innovations
$54.99
Gesundheitsmanagement im Unternehmen
$79.99
Disaster Strikes: Blizzard Night
$3.74
Cardiovascular and Musculoskeletal Systems
$109.99
Theorie und Konstantenbestimmung des hydrometrischen Flgels
$49.99
Satellite Altimetry in Geodesy and Oceanography
$39.99
Ankylosing Spondylitis
$54.99
Strukturtypen der Logik
$139.00
Networked Group Communication
$39.99
Nurse Memoirs from the Great War in Britain, France, and Germany
$129.99
The Appropriation of Religion in Southeast Asia and Beyond
$159.99
Fluid Mechanics Experiments
$37.99
Grundlagen der Kommunikation fr Fhrungskrfte
$17.99
The Cult of Divine Birth in Ancient Greece
$109.99
Betriebs- und Dienstvereinbarungen bei der Einfhrung von ISDN-Kommunikationsanlagen in Organisation
$69.99
The Three Musketeers by Susan Hill
$7.99
Proceedings of Industrial Engineering and Management
$219.99
The Compressed Word Problem for Groups
$39.99
Practical Aspects of Declarative Languages
$39.99
Physical Control Methods in Plant Protection
$199.99
Atom Probe Microscopy
$189.00
Shadow Children: Among the Enemy
$5.96
Applications of Computation in Mechanical Engineering
$189.00
Lexile Elementary Levels 500-590
$225.00
Geschichte und ihre Sprache
$79.99
Intracranial Pressure III
$84.99
The Dynamics of Judicial Proof
$169.00
Fischsperma und Fischrogen als Nahrungsmittel fr den Menschen
$59.99
Tradition and Influence in Anglo-Irish Poetry
$44.99
Was heit hier Parallelgesellschaft?
$39.99
