Loading...
Verifiable Programming
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Published: |
Prentice Hall
1992
|
| LEADER | 00414nam a2200133 4500 | ||
|---|---|---|---|
| 020 | |a 0-13-951062-1 | ||
| 082 | |a 005.14 | ||
| 100 | |a Dahl, Ole-johan | ||
| 245 | |a Verifiable Programming |c Ole-Johan Dahl |h [Text] | ||
| 260 | |b Prentice Hall |c 1992 | ||
| 300 | |a 202p. | ||
| 942 | |c BK | ||
| 999 | |c 84801 |d 84801 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_140000000000000 |7 0 |9 77104 |a SOCS |b SOCS |d 2015-06-11 |g 12.95 |l 0 |o 005.14 |p SOCS634 |r 2015-06-11 |w 2015-06-11 |y BK | ||