00695nam a22002297a 4500003000400000005001700004008004100021020001500062028000800077082001100085100002200096245009100118260003200209300002500241440004400266655002200310655001400332655001000346655001200356655002000368655007700388SNU20141217124321.0141217b        xxu||||| |||| 00| 0 eng d  a3540562877  aHCL  a005SHY  aShyamasundar , R   aFoundations of Software Technology and Theoretical Compute Science c/ R Shyamasunder   aNew Delhib:Springer c1992  axiii, 403p. c24cm.   aLecture notes in computer science n652  aComputer Science   aLanguage   aJava   aPascal   aR Shyamasundar   aand Foundations of software technology and theoretical computer science