|
|
|
|
| LEADER |
01306cam a2200313 a 4500 |
| 005 |
20130713153446.0 |
| 008 |
971124s1998 nyua b 001 0 eng |
| 010 |
|
|
|a 97047336
|
| 020 |
|
|
|a 0387984178 (alk. paper)
|
| 040 |
|
|
|a DLC
|c DLC
|d HR-ZaFER
|b hrv
|e ppiak
|
| 050 |
0 |
0 |
|a QA76.6
|b .B28 1998
|
| 082 |
0 |
0 |
|a 005.1/4
|2 21
|
| 100 |
1 |
|
|a Back, Ralph-Johan.
|
| 245 |
1 |
0 |
|a Refinement calculus :
|b a systematic introduction /
|c Ralph-Johan Back, Joakim von Wright.
|
| 260 |
|
|
|a New York :
|b Springer,
|c c1998.
|
| 300 |
|
|
|a xv, 519 p. :
|b ill. ;
|c 25 cm.
|
| 490 |
1 |
|
|a Graduate texts in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [501]-508) and index.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Calculus.
|
| 650 |
|
0 |
|a Computer logic.
|
| 700 |
1 |
|
|a Wright, J. von
|q (Joakim),
|d 1955-
|
| 830 |
|
0 |
|a Graduate texts in computer science (Springer-Verlag New York Inc.)
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0812/97047336-d.html
|
| 856 |
4 |
1 |
|3 Table of contents only
|u http://www.loc.gov/catdir/enhancements/fy0812/97047336-t.html
|
| 906 |
|
|
|a 7
|b cbc
|c orignew
|d 1
|e ocip
|f 19
|g y-gencatlg
|
| 942 |
|
|
|2 udc
|c K
|
| 955 |
|
|
|a pc03 to ja00 11-24-97; jf09 to subj 11-25-97; jf11 to sl 11-25-97;jf12 11-26-97; CIP ver. pv08 06-04-98
|
| 999 |
|
|
|c 35356
|d 35356
|
