null Skip to main content

✨ Buy more, save 5% Ends

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings

Dines Bjørner

$60.32
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Dines Bjørner
Publisher:
Springer
Publication Date:
Apr 04, 1990
Number of pages:
588 pages
Binding:
Paperback or Softback
ISBN-10:
3540525130
ISBN-13:
9783540525134

Overview

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.


  • | Author: Dines Bjørner
  • | Publisher: Springer
  • | Publication Date: Apr 04, 1990
  • | Number of Pages: 588 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 3540525130
  • | ISBN-13: 9783540525134

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.