Samenvatting
No abstract.
Originele taal-2 | Engels |
---|---|
Titel | Formal development of programs and proofs |
Redacteuren | E.W. Dijkstra |
Plaats van productie | Reading MA |
Uitgeverij | Addison-Wesley |
Pagina's | 171-182 |
ISBN van geprinte versie | 0-201-17237-2 |
Status | Gepubliceerd - 1990 |