Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

VDM '88. VDM - The Way Ahead

VDM '88. VDM - The Way Ahead

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540459552
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Algebraic Topology of Finite Topological Spaces and Applications

$44.99

Technischer Lehrgang Hydraulik

$44.99

Netzwelt - Wege, Werte, Wandel

$59.99

Formal Methods for Open Object-Based Distributed Systems V

$109.99

Basiswissen Statistik

$29.99

Palomagnetismus und Archomagnetismus

$49.99

Big & Little

$5.21

Biomimetics

$259.00

The Antarctic Politics of Brazil

$159.99

Untersuchung von transienten Interferenzeffekten in einem Freistrahlwindkanal fr Automobile

$69.99

Internationales Strafrecht im Cyberspace

$74.99

Differentialrechnung fr Hhlenmenschen und andere Anfnger

$17.99

Mathematical Modeling for Flow and Transport Through Porous Media

$169.99

Medicine in Iran

$39.99

Approximate Computing Techniques

$99.99

Artificial Intelligence, Human Agency and the Educational Leader

$159.99

Narratives of Addiction

$119.99

ADAMTS Proteases

$109.00

Der Vertrag von Lissabon vor dem Bundesverfassungsgericht

$199.00

Positive Psychology in Latin America

$109.99

Algorithmic Number Theory

$39.99

Jonathan Burrows

$89.99

Advanced Concepts in Adaptive Signal Processing

$129.00

Leadership Teams

$54.99

Schrdinger Theory of Electrons: Complementary Perspectives

$129.00

In den Alpen

$59.99

Tutorium Elektrodynamik

$39.99

Pediatric Vitreoretinal Surgery

$139.99

Science and Art Symposium 2000

$169.99

Eighteenth-Century Women's Writing and the 'Scandalous Memoir'

$59.99

Cultural Policy and Federalism

$84.99

Montesquieu and the Discovery of the Social

$54.99

Mathematische Unterhaltungen und Spiele mit dem programmierbaren Taschenrechner (AOS)

$69.99

Media and Digital Management

$69.99

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation

$54.99

Allergy Frontiers:Future Perspectives

$89.00

Cannabinoids and the Brain

$219.99

Using Technology to Design ESL/EFL Microlearning Activities

$37.99

Managing Risk in Nanotechnology

$109.99

Brgerschaftliches Engagement und Bildungserfolg

$34.99