VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).

Author/creator VDM (Symposium)
Other author Bjørner, D. (Dines), 1937-
Other author Hoare, C. A. R. (Charles Antony Richard), 1934-
Other author Langmaack, Hans.
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1990.
Descriptionxvii, 579 pages : illustrations ; 24 cm.
Subjects
Computer software--Development. --Congresses.

SeriesLecture notes in computer science ; 428
Lecture notes in computer science 428. ^A466336
Other titleVDM ninety.
LCCN 90034468
ISBN0387525130 (U.S.)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.76.D47 V36 1990 ✔ Available Place Hold