|
|
|
|
| LEADER |
01161nam a2200277 a 4500 |
| 001 |
c000183757 |
| 003 |
CARM |
| 005 |
20050608124221.0 |
| 008 |
900214s1990 wb a b 001 0 eng |
| 019 |
1 |
|
|a 7132679
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387523561 (U.S. : alk. paper)
|
| 020 |
|
|
|a 0387525890 (U.S. : soft : student ed.)
|z 0387525899
|
| 035 |
|
|
|a (OCoLC)21195845
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b P37 1990
|
| 082 |
0 |
0 |
|a 005.1
|2 20
|
| 100 |
1 |
|
|a Partsch, Helmut A.,
|d 1950-
|
| 245 |
1 |
0 |
|a Specification and transformation of programs :
|b a formal approach to software development /
|c Helmut A. Partsch.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1990.
|
| 300 |
|
|
|a xiii, 493 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Texts and monographs in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [456]-474) and index.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 852 |
8 |
|
|b CARM
|h A2:AM07G0
|i C06637
|p 0255616
|f BK
|
| 999 |
f |
f |
|i f1567638-3b65-5389-ae5a-1bdbecdc99fa
|s 80d13790-28b1-5e9d-b739-505b11a4d9a7
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C06637
|f A2:AM07G0
|h Other scheme
|i book
|m 0255616
|