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
5.115 B344 114551
Bauer F L NATO Advanced Study Institute on Logic and Algebra of Specification( 11th : 1991 : Germany ) NATO Advanced Study Institute on Logic and Algebra of Specification 11th , Germany 1991 Logic and algebra of specification : proceedings Berlin Springer Verlag 1993 vi,442p * Algebra Computer science