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
Behinderung, Soziologie und gesellschaftliche Erfahrung
$59.99
Post-War Modernist Cinema and Philosophy
$39.99
The Capacity Crisis in Disaster Risk Management
$109.99
Playing with the Past
$84.99
Clinical Research Informatics
$119.99
Nationalsozialismus und Konsumgenossenschaften
$54.99
Shakespeares Serial Returns in Complex TV
$109.99
Fundamental Aspects of Quantum Theory
$39.99
Vernetzte und komplexe Informatik-Systeme
$69.99
Sliding Mode Control Using Novel Sliding Surfaces
$84.99
Urban Wetlands in Latin America
$249.99
Fault Diagnosis and Fault Tolerance
$109.99
Academic Writing and Information Literacy Instruction in Digital Environments
$119.99
Dominanz und Sprache
$59.99
Decolonization of Psychiatry in Jamaica
$109.99
Computational Intelligence in Data Science
$54.99
New Frontiers in Plant-Environment Interactions
$149.00
A Second Course in Topos Quantum Theory
$64.99
Genomics and Systems Biology of Mammalian Cell Culture
$449.99
Online-Aufstellungen
$17.99
Nature, Artforms, and the World Around Us
$119.99
Transitional Justice and Socio-Economic Rights in Zimbabwe
$84.99
Sport and Challenges to Racism
$54.99
G Protein-Coupled Receptors - Modeling and Simulation
$169.99
Ru- und Aschedeposition in Ottopartikelfiltern
$39.99
Intelligent Systems and Applications
$219.99
Multivalued Analysis and Nonlinear Programming Problems with Perturbations
$109.99
Staging Gertrude Stein
$54.99
Applications of 3D printing in Biomedical Engineering
$279.99
Making European Merger Policy More Predictable
$109.99
Psychological Processes in International Negotiations
$54.99
Scattering Cross Section of Unequal Length Dipole Arrays
$39.99
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops
$109.99
Poverty Trends in Germany and Great Britain
$64.99
Implementation and Application of Automata
$54.99
Photomesic and Photonuclear Reactions and Investigation Methods with Synchrotrons
$39.99
Actuarial Sciences and Quantitative Finance
$109.99
Computational Science and Its Applications - ICCSA 2014
$109.99
Critical Perspectives in Management Control
$14.99
Ran an den Computer?
$59.99
