Item description for The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science) by D. Bjorner...
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science) by D. Bjorner
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.14" Height: 0.83" Weight: 1.25 lbs.
Release Date Jun 23, 1978
ISBN 3540087664 ISBN13 9783540087663
Availability 63 units. Availability accurate as of Mar 27, 2017 04:41.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About D. Bjorner
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