Multiplication and division of polynomials

M. Rem

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Originele taal-2Engels
TitelFormal development of programs and proofs
RedacteurenE.W. Dijkstra
Plaats van productieReading MA
UitgeverijAddison-Wesley
Pagina's159-169
ISBN van geprinte versie0-201-17237-2
StatusGepubliceerd - 1990

Citeer dit