01159nam--2200373---450-9900003522202033163-540-18253-50035222USA010035222(ALEPH)000035222USA01003522220010307d1987----km-y0itay0103----baengDE||||||||001yy<<A>> connotational theory of program structureJames S. RoyerBerlinSpringer Verlagc1987186 p.25 cmLecture notes in computer science2732001Lecture notes in computer science273001-------2001Struttura di programmaTeorie001.642ROYER,James S.58673ITsalbcISBD990000352220203316001 LNCS 27326851001 LNCS00102395SCIBKPATTY9020010307USA011850PATTY9020010307USA01185220020403USA011643PATRY9020040406USA011624Connotational theory of program structure878326UNISA