Item description for Towards a Formal Description of Ada (Lecture Notes in Computer Science) by D Bjorner...
Towards a Formal Description of Ada (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.3" Width: 6.4" Height: 1.1" Weight: 1.95 lbs.
Release Date Dec 16, 1980
ISBN 3540102833 ISBN13 9783540102830
Availability 129 units. Availability accurate as of Oct 27, 2016 05:15.
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