The Vienna Development Method: The Meta-Language
| PUBLISHER | Springer (05/01/1978) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9783540087663
ISBN-10:
3540087664
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
384
Carton Quantity:
22
Product Dimensions:
6.14 x 0.83 x 9.21 inches
Weight:
1.24 pound(s)
Feature Codes:
Bibliography
Country of Origin:
US
Subject Information
BISAC Categories
Reference | Questions & Answers
Reference | Logic
Reference | Logic Design
Dewey Decimal:
001.642
Descriptions, Reviews, Etc.
Editor:
Bjorner, D.
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 (1979b"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 $32.99
Your Price
$32.66