PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

001.64 / L497
Hu,Alan J.
       LECTURE NOTES IN COMPUTER SCIENCE(V.3312) : FORMAL METHODS IN COMPUTER-AIDED DESIGN / .- Springer-Verlag, Berlin, 2004 .- xi,444 . .- ( Lecture Notes in computer science
ISBN: 3540237380
Subject Headings:
Computer-Aided Design;
Computer Science;
Author Added Entry:
Martin,Andrew K.;
Copy Details:
Acc. No.: A150647, Full Call No.: 001.64 L497, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Powered by Koha