Formal development of programs and proofs / Edited by Edsger W. Dykstra
| Format: | MONOGRAPHS |
|---|---|
| Language: | English |
| Published: |
New York : Addison-Wesley, 1990 |
| Subjects: |
Algorithms.
Electronic digital computers Electronic digital computers Software engineering. |
| Tags: |
Add
No Tags, Be the first to tag this record!
|
| LEADER | 00717nam a2200193 a 4500 | ||
|---|---|---|---|
| 001 | 0008317 | ||
| 003 | Th-MUT | ||
| 008 | 181106s9999 xx 000 0 eng d | ||
| 020 | |a 0201172372 |c 929 | ||
| 040 | |a DLC |c MUT | ||
| 050 | 4 | |a QA76.6 |b F674 | |
| 245 | 1 | 0 | |a Formal development of programs and proofs |b / |c Edited by Edsger W. Dykstra |
| 260 | |a New York : |b Addison-Wesley, |c 1990 | ||
| 300 | |a xiv, 242 p. : |c 24 cm. | ||
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Electronic digital computers | |
| 650 | 0 | |a Electronic digital computers | |
| 650 | 0 | |a Software engineering. | |
| 991 | |a MONOGRAPHS |b 3 |c 2018-11-06 17:28:44 |d 2021-10-27 14:39:14 |e mut |f n |g null |h n |i a |j m |k |l a |m |n a |o |p b |q |r nyu |s eng |t 1990 |v Formal development of programs and proofs / | ||