A parallel program that generates the Möbius sequence

T. Verhoeff, M. Rem

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Samenvatting

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

Citeer dit