Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /

Enregistré dans:
Détails bibliographiques
Autres auteurs: Staunstrup, J. (Jørgen), 1952-
Format: Livre
Langue:English
Publié: Berlin ; New York : Springer-Verlag, 1982.
Collection:Lecture notes in computer science ; 134.
Sujets:
LEADER 01153nam a2200277 a 4500
001 c000160902
003 CARM
005 19821025000000.0
008 820325s1982 wb a b 101 0 eng
019 1 |a 2214467  |5 LACONCORD2021 
020 |a 0387114904  |b (U.S.) 
020 |a 3540114904  |b (Berlin) 
035 |a (OCoLC)8345216  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC 
050 0 0 |a QA76.6  |b .P75119 1982 
082 0 4 |a 001.64/25  |2 19 
245 0 0 |a Program specification :  |b proceedings of a workshop, Aarhus, Denmark, August 1981 /  |c edited by J. Staunstrup ; [editorial board, W. Brauer ... et al.]. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1982. 
300 |a iv, 426 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 134. 
504 |a Includes bibliographies and index. 
650 0 |a Computer programs  |x Specifications  |x Congresses. 
700 1 |a Staunstrup, J.  |q (Jørgen),  |d 1952- 
852 8 |b CARM  |h A2:AL29E0  |i C05278  |p 0212022  |f BK 
999 f f |i c1414954-64d0-5b46-ac09-ff1f93fc0a09  |s 9cb1161b-4530-50e0-a751-4a75f1582083 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05278  |f A2:AL29E0  |h Other scheme  |i book  |m 0212022