Methods of programming : selected papers on the CIP-project /

Enregistré dans:
Détails bibliographiques
Autres auteurs: Broy, M., 1949-, Wirsing, M. (Martin)
Format: Livre
Langue:English
Publié: Berlin ; New York : Springer-Verlag, c1991.
Collection:Lecture notes in computer science ; 544.
Sujets:
LEADER 01156nam a2200301 a 4500
001 c000162360
003 CARM
005 19990202000000.0
008 910911s1991 gw a b 001 0 eng
010 |a 91035280 
019 1 |a 8460343  |5 LACONCORD2021 
020 |a 354054576X  |b (Berlin : alk. paper) 
020 |a 038754576X  |b (U.S. : alk. paper) 
035 |a (OCoLC)24504187  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
050 0 0 |a QA76.6  |b .M4543 1991 
082 0 0 |a 005.1  |2 20 
245 0 0 |a Methods of programming :  |b selected papers on the CIP-project /  |c M. Broy, M. Wirsing (eds.) 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1991. 
300 |a xii, 268 p. :  |b ill. ;  |c 24 cm. 
440 0 |a Lecture notes in computer science ;  |v 544. 
504 |a Includes bibliographical references and indexes. 
650 0 |a Computer programming. 
700 1 |a Broy, M.,  |d 1949- 
700 1 |a Wirsing, M.  |q (Martin) 
852 8 |b CARM  |h A2:AM07E0  |i C05497  |p 0214314  |f BK 
999 f f |i 32a2c369-e9f8-5612-8490-8dea979b8d55  |s c5a40428-9fcf-5bc4-a2f4-8c989eeeac26 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05497  |f A2:AM07E0  |h Other scheme  |i book  |m 0214314