Start Over Please hold this item Export MARC Display Return To Browse
 
     
Record: Previous Record Next Record
Title VDM '90 : VDM and Z : formal methods in software development : third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 / edited by D. Bjorner, C.A.R. Hoare, H. Langmaack.
Publication Info Berlin : Springer-Verlag, 1990.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.758 V6  8 WEEK LOAN  AVAILABLE

Descript 579p.
ISBN 3540525130
Click on the terms below to find similar items in the catalogue
Series Lecture notes in computer science; 428
Alt author Bjorner, Dines.
Hoare, Charles Antony Richard.
Langmaack, H.
Descript 579p.
ISBN 3540525130
Series Lecture notes in computer science; 428
Alt author Bjorner, Dines.
Hoare, Charles Antony Richard.
Langmaack, H.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.758 V6  8 WEEK LOAN  AVAILABLE

Descript 579p.
Alt author Bjorner, Dines.
Hoare, Charles Antony Richard.
Langmaack, H.
ISBN 3540525130

Links and services for this item: