TAPSOFT ʾ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Joint Conference on Theory and Practice of Software Development Brighton, England
Weitere Verfasser: Abramsky, Samson, 1953-, Maibaum, Thomas S. E.
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; New York : Springer-Verlag, 1991-
Schriftenreihe:Lecture notes in computer science ; 493.
Schlagworte:
LEADER 01649nam a2200361 a 4500
001 c000165462
003 CARM
005 19990922000000.0
008 910717m19919999gw a b 100 0 eng
010 |a 91172441 
019 1 |a 8071027  |z 40769343  |5 LACONCORD2021 
020 |a 0387539824 
020 |a 3540539824 
035 |a (OCoLC)23825262  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
050 0 0 |a QA76.76.D47  |b I58 1991 
082 0 0 |a 005.1  |2 20 
082 0 4 |a 005.1  |2 20 
111 2 |a International Joint Conference on Theory and Practice of Software Development  |n (4th :,  |d 1991 :  |c Brighton, England) 
245 1 0 |a TAPSOFT ʾ91 :  |b proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /  |c S. Abramsky, T.S.E. Maibaum, eds. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1991- 
300 |a v. <1 > :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 493. 
504 |a Includes bibliographical references. 
505 1 |a v. 1. Colloquium on Trees in Algebra and Programming (CAAP '91). 
650 0 |a Computer software  |x Development  |x Congresses. 
700 1 |a Abramsky, Samson,  |d 1953- 
700 1 |a Maibaum, Thomas S. E. 
852 8 |b CARM  |h A2:AL20D0  |i C05347  |p 0213801  |f BK 
852 8 |b CARM  |h A2:AL20D0  |i C05346  |p 0213802  |f BK 
999 f f |i aa2b0cfe-b979-52df-930e-40cf0c896830  |s 49f59899-ee98-56e1-9a9a-740bad811d9b 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05346  |f A2:AL20D0  |h Other scheme  |i book  |j v.2  |m 0213802 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05347  |f A2:AL20D0  |h Other scheme  |i book  |j v.1  |m 0213801