Toward a mathematical semantics for computer languages /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Scott, Dana
Muut tekijät: Strachey, Christopher
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Oxford (45 Banbury Rd, Oxford) : Oxford University Computing Laboratory, Programming Research Group, 1971.
Sarja:Technical monographs (Oxford University Computing Laboratory. Programming Research Group) ; PRG-6.
Aiheet:
LEADER 01593nam a2200325 a 4500
001 c000171877
003 CARM
005 19981013000000.0
008 711119s1971 enk 000 0 eng d
015 |a B7127522 
019 1 |a 3575443  |z 44828227  |5 LACONCORD2021 
020 |a 0902928031  |c £1.00 
035 |a (OCoLC)6228512  |5 LACONCORD2021 
040 |a BNB  |b eng  |c BNB  |d NU 
050 0 0 |a QA76.7 
082 0 4 |a 001.6/424  |2 18 
100 1 |a Scott, Dana. 
245 1 0 |a Toward a mathematical semantics for computer languages /  |c by Dana Scott and Christopher Strachey. 
260 |a Oxford (45 Banbury Rd, Oxford) :  |b Oxford University Computing Laboratory, Programming Research Group,  |c 1971. 
300 |a [4], 42 p. ;  |c 21cm. 
490 1 |a Technical monographs / Oxford University Computing Laboratory. Programming Research Group ;  |v PRG-6. 
500 |a Digital computer systems. Programming. Languages. Semantics (BNB/PRECIS) 
500 |a 'This paper is also to appear in "Proceedings of the Symposium on Computers and Automata", Microwave Research Institute Symposia series vol.21...' - title page verso. 
650 0 |a Programming languages (Electronic computers) 
650 0 |a Computer programming. 
700 1 |a Strachey, Christopher. 
830 0 |a Technical monographs (Oxford University Computing Laboratory. Programming Research Group) ;  |v PRG-6. 
852 8 |b CARM  |h A2:AI06A0  |i B04638  |p 0207293  |f BK 
999 f f |i b5d1a93f-a93d-5129-8396-3c190987e2ce  |s 1ed10b60-1640-59d0-b249-aaf53c5ce320 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e B04638  |f A2:AI06A0  |h Other scheme  |i book  |m 0207293