Copied FME '93: Industrial-Strength Formal Methods
FME '93: Industrial-Strength Formal Methods
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
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
Marketing Management Support Systems
$84.99
Positive Peerkultur aus Schlersicht
$39.99
Revitalizing Indian Agriculture and Boosting Farmer Incomes
$54.99
Bergbaumechanik
$59.99
Cryptology and Network Security
$39.99
Process Control
$129.00
Intensive psychodynamische Kurzzeittherapie nach Davanloo
$39.99
Dynamic Competitive Analysis in Marketing
$109.99
Photoinduced Electron Transfer III
$84.99
Demokratie in der Kleinstadt
$64.99
Drnanweisung
$49.99
Grammatical Inference
$129.99
Welfare Economics
$109.99
Die soziale Praxis des Gerichtsverfahrens
$59.99
High Performance Computing on Vector Systems 2008
$109.99
Europisches Strafrecht
$29.99
Click Clack Moo: Click, Clack, Quackity-Quack
$5.96
From Aristotle's Teleology to Darwin's Genealogy
$39.99
Software Business. From Physical Products to Software Services and Solutions
$49.99
Agricultural Cybernetics
$129.00
Euro-Par 2024: Parallel Processing
$79.99
Critical Point Theory for Lagrangian Systems
$54.99
Handelscontrolling
$69.99
Cancer / Krebs
$54.99
7. Kongre der Deutschsprachigen Gesellschaft fr Intraokularlinsen Implantation
$54.99
Fundamentalismus
$59.99
Der tracheotomierte Patient
$49.99
Principles of Econometrics
$99.99
Database Systems for Advanced Applications
$109.99
Static Parameters of Beams on Elastic Foundation / Paramtres statiques pour des poutres sur fondati
$74.99
The Physics of Superconductors
$379.99
A Comprehensive Evaluation on Emergency Response in China
$54.99
Kohortenanalyse in der Konsumentenforschung
$59.99
Die Zwergstrauchheiden als Vegetationsentwicklungstypen
$59.99
Amos and Boris by William Steig
$8.99
Preferences and Democracy
$169.99
Public Key Cryptography -- PKC 2011
$39.99
Military Economics
$109.99
Common Ground
$4.46
Neuroscience, Neurophilosophy and Pragmatism
$39.99
