Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
4.22 In61 119032
Gopalakrishnan Ganesh ed. International Conference, FMCAD '98 on Formal Methods in Computer-Aided Design (2nd : 4-6 Nov 1998 : California,USA) International conference, FMCAD '98 on formal methods in computer-aided design California, USA 4-6 Nov 1998 Formal methods in computer-aided design Berlin Springer-Verlag 1998 ix,528p. * Computer architecture
