Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
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
Persistent link to this item
Click link and copy URL from browser navigation toolbar

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
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar