001.64 / L497
LECTURE NOTES IN COMPUTER SCIENCE ; VDM '90 VDM AND Z -- FORMAL METHODES IN SOFTWARE DEVELOPMENT : V.428
/
.- Springer-Verlag, Berlin, c1990
.- xvii,579 .
.- ( Lecture Notes in computer science
ISBN: 3540525130
Copy Details:
Acc. No.: A108310, Full Call No.: 001.64 L497, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------