01054nam--2200349---450-9900003505202033160035052USA010035052(ALEPH)000035052USA01003505220010307d1981----km-y0itay0103----baengDE||||||||001yyCompiler specificationd and verificationWolfgang PolakBerlinSpringer Verlag1981XIII, 269 p.ill.24 cmLecture notes in computer science1242001Lecture notes in computer science124001-------2001001.642POLAK,Wolfgang534928ITsalbcISBD990000350520203316001 LNCS 12411191001 LNCS00101453BKSCIPATTY9020010307USA01095520020403USA011643PATRY9020040406USA011624Compiler specificationd and verification878510UNISA