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 | 55-57 |
ISBN van geprinte versie | 0-201-17237-2 |
Status | Gepubliceerd - 1990 |