|
|
|
|
| LEADER |
01433nam a2200337 a 4500 |
| 001 |
c000177197 |
| 003 |
CARM |
| 005 |
20000917191050.0 |
| 008 |
960607s1996 gw a b 101 0 eng |
| 010 |
|
|
|a 96026739
|
| 019 |
1 |
|
|a 12490003
|5 LACONCORD2021
|
| 020 |
|
|
|a 354061463X
|
| 020 |
|
|
|a 354061463X
|
| 035 |
|
|
|a (OCoLC)34919817
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA76.758
|b .I5713 1996
|
| 082 |
0 |
0 |
|a 005.1/2/015113
|2 20
|
| 111 |
2 |
|
|a International Conference on Algebraic Methodology and Software Technology
|n (5th :,
|d 1996 :
|c Munich, Germany)
|
| 245 |
1 |
0 |
|a Algebraic methodology and software technology :
|b 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /
|c Martin Wirsing, Maurice Nivat, eds.
|
| 246 |
3 |
0 |
|a AMAST '96.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1996.
|
| 300 |
|
|
|a xiii, 640 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 1101.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Software engineering
|x Congresses.
|
| 650 |
|
0 |
|a Abstract data types (Computer science)
|x Congresses.
|
| 700 |
1 |
|
|a Nivat, M.
|
| 700 |
1 |
|
|a Wirsing, M.
|q (Martin)
|
| 852 |
8 |
|
|b CARM
|h A2:AL29A0
|i B05598
|p 0239799
|f BK
|
| 999 |
f |
f |
|i 067b7bdc-cce6-5ff0-a6c5-8722aabe0c4d
|s 77595579-5c22-52e9-84a5-f8ca478265bd
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05598
|f A2:AL29A0
|h Other scheme
|i book
|m 0239799
|