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