Copied VDM '88. VDM - The Way Ahead
VDM '88. VDM - The Way Ahead
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Internet and Beyond
$84.99
Schwarze Lcher
$59.99
Theory and Applications of Liquid Crystals
$54.99
Molecular Communications
$129.00
Audience Engagement and the Role of Arts Talk in the Digital Era
$109.99
Alexander Romanovich Luria
$84.99
Uterine Cervical Cancer
$109.99
Textbook of Liver Transplantation
$69.99
Der Versicherungsverkufer
$59.99
Drug Delivery
$54.99
Power and Structure in Theater
$69.99
Rehabilitation als Schlssel zum Dauerarbeitsplatz
$59.99
Datenbankeinsatz
$89.99
Labyrinth of Thought
$84.99
Chemical Control
$84.99
Exploring Silences in the Field of Computer Assisted Language Learning
$39.99
High Performance Control
$109.99
ESD Program Management
$219.99
Accretion of Extraterrestrial Matter Throughout Earths History
$109.99
BASIC Microcomputing and Biostatistics
$109.99
Untersuchungen ber die Verdichtungswirkung und das Arbeitsverhalten eines Einmassenrttlers auf Sch
$59.99
Remote Sensing Monitoring and Evaluation of Degraded Grassland in China
$54.99
Space Fostering African Societies
$179.99
Topology Optimization
$159.99
Serious ADO
$49.95
Die Chemie des Kautschuks
$69.99
Molecular Biophysics of the Extracellular Matrix
$39.99
Asia Pacific Graduate Education
$109.99
Stabilization, Safety, and Security of Distributed Systems
$39.99
Reelle Funktionen
$49.99
Synthesis and Original Reactivity of Copper and Gold Complexes
$109.99
Mathematical Theory of Democracy
$169.99
mir: Management International Review
$39.99
Ready-to-Read Pre-Level 1 - My First.: My First Gymnastics Class
$3.71
Leitfaden der technischen Wrmemechanik
$49.99
The Citizens' Ledger
$44.99
Die Kohlenwasserstoff-Synthese nach Fischer-Tropsch
$64.99
Animism and Philosophy of Religion
$139.99
Magical Thinking in Severe Grief Reactions
$39.99
Phnomenologie der Mathematik
$199.99
