Chargement en cours...
Formal Development Of Programs And Proofs
| Auteur principal: | |
|---|---|
| Format: | Printed Book |
| Publié: |
Addison-wesley Publishing Company
1990
|
| LEADER | 00462nam a2200133 4500 | ||
|---|---|---|---|
| 020 | |a 0-201-17237-2 | ||
| 082 | |a 005.1 | ||
| 100 | |a Dijkstra, Edsger W | ||
| 245 | |a Formal Development Of Programs And Proofs |c Edsger W Dijkstra |h [Text] | ||
| 260 | |b Addison-wesley Publishing Company |c 1990 | ||
| 300 | |a Paper back | ||
| 942 | |c BK | ||
| 999 | |c 84601 |d 84601 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_100000000000000 |7 0 |9 76887 |a SOCS |b SOCS |d 2015-06-11 |g 45.75 |l 0 |o 005.1 |p SOCS438 |r 2015-06-11 |w 2015-06-11 |y BK | ||