Exercises in formula manipulation

W.H.J. Feijen, A. Bijlsma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Samenvatting

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

Vingerafdruk

Duik in de onderzoeksthema's van 'Exercises in formula manipulation'. Samen vormen ze een unieke vingerafdruk.

Citeer dit