The mathematical semantics of Algol 60 /

保存先:
書誌詳細
第一著者: Mosses, Peter
フォーマット: 図書
言語:English
出版事項: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1974.
シリーズ:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-12.
主題:
LEADER 01189nam a2200289 i 4500
001 c000068825
003 CARM
005 00000000000000.0
008 750714s1974 enk b 00110 eng
015 |a GB74-08282 
019 1 |a 271713  |z 27533560  |5 LACONCORD2021 
020 |a 0902928082 :  |c L.1.00 
035 |a (OCoLC)1532340  |5 LACONCORD2021 
050 0 0 |a QA76.73.A24  |b M67 
100 1 |a Mosses, Peter. 
245 1 4 |a The mathematical semantics of Algol 60 /  |c by Peter Mosses. 
260 |a Oxford :  |b Oxford University Computing Laboratory, Programming Research Group,  |c 1974. 
300 |a [2], 30 p. ;  |c 21 cm. 
490 1 |a Technical monographs ;  |v PRG-12 
500 |a "Commentary": 20 p. in pocket. 
504 |a Includes bibliographical references and index. 
650 0 |a ALGOL (Computer program language) 
830 0 |a Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;  |v PRG-12. 
852 8 |b CARM  |h A2:AI13A0  |i B04157  |p 0191816  |f BK 
082 0 4 |a 001.6/424 
999 f f |i 8b1db013-67be-51ba-8892-5dd4138ae5da  |s 7a52ff28-ef39-51b6-9e75-3dd8d48585c5 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e B04157  |f A2:AI13A0  |h Other scheme  |i book  |m 0191816