VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
| PUBLISHER | Springer (04/04/1990) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9783540525134
ISBN-10:
3540525130
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
588
Carton Quantity:
14
Product Dimensions:
6.14 x 1.22 x 9.21 inches
Weight:
1.84 pound(s)
Country of Origin:
DE
Subject Information
BISAC Categories
Computers | Logic Design
Computers | Software Development & Engineering - General
Computers | Programming - General
Dewey Decimal:
005.1
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Editor:
Bjorner, Dines
MSc.EE, 1962, PhD.CS 1969; IBM 1962-1975 (R& D: Sweden, California USA, Switzerland, Austria); Prof. Techn.Univ. of Denmark 1976--...; Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (1979 -- 1989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997); Co-founder of (VDM now) Formal Methods Europe, 1987-...; Member of Academia Europaea; Member of the Russian Academy of Natural Sciences (AB); The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic; The John von Neumann Medal, Hungarian Computer (JvN) Society; Knight of the Danish Flag
Show More
List Price $54.99
Your Price
$54.44