Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Rigorous derivation of a sophisticated algorithm: smoothsort
Titel Konferenzpublikation:
IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation
Konferenztitel:
IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation (1987, Bad Tölz)
Tagungsort:
Bad Tölz
Jahr der Konferenz:
1987
Verlagsort:
Amsterdam
Verlag:
North-Holland Publishing Co.
Jahr:
1987
Seiten von - bis:
49-72
Sprache:
Englisch
ISBN:
0-444-70223-7
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmitz, Lothar
Open Access ja oder nein?:
Nein / No
BibTeX