000    nam0
001 __ 0193020098
005 __ 20100303210214.0
010 __ ■a7-03-003022-2■dCNY21
092 __ ■a科技278-094
100 __ ■a19800101d1992    emky0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   010yy
106 __ ■ar
200 1_ ■a计算机语言的形式语义■Aji suan ji yu yan de xing shi yu yi■f陆汝钤编著
210 __ ■a北京■c科学出版社■d1992.12
215 __ ■a886页■d20cm
300 __ ■a中国科学院科学出版基金资助项目
330 __ ■a本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容,并辟一章集中讨论了并发和分布式语义。
606 0_ ■a程序语言■x形式■x语义学
606 0_ ■2CT■3S008438■a程序语言
606 0_ ■2CT■3S083883■a形式
690 __ ■aTP301.2■v三版
692 __ ■a73.87
701 _0 ■a陆汝钤■Alu ru qian■f(1935~)■4编著
801 __ ■aCN■bNLC■c20100603