| 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 | 159-169 |
| ISBN van geprinte versie | 0-201-17237-2 |
| Status | Gepubliceerd - 1990 |
Multiplication and division of polynomials
M. Rem
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review