|
|
|
|
| LEADER |
00616nam a2200181 a 4500 |
| 001 |
499391 |
| 005 |
20171111225926.0 |
| 008 |
890118s1990 maua b 10 00 eng |
| 020 |
|
|
|a 0201172372
|
| 050 |
|
|
|a QA76.6
|b .F657 1990
|
| 082 |
|
|
|2 19
|a 005.1
|
| 245 |
|
|
|a Formal development of programs and proofs /
|c edited by Edsger W. Dijkstra.
|
| 260 |
|
|
|a Reading, Mass. :
|b Addison-Wesley,
|c c1990.
|
| 300 |
|
|
|a xiv, 242 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
|
|a Computer programming
|
| 700 |
1 |
|
|a Dijkstra, Edsger Wybe
|
| 952 |
|
|
|a GrThPMO
|b 59afe2e26c5ad17d7e59f85d
|c 952a
|d 9528
|e -
|t 1
|x m
|z Books
|
