Login
Dokumenttyp:
Monografie / Monograph
Titel:
Rigorous derivation of a sophisticated algorithm: smoothshort
Reihentitel:
Bericht / Fachbereich Informatik, Hochschule der Bundeswehr München
Bandnummer Reihe:
8302
Verlagsort:
Neubiberg
Verlag:
Hochschule der Bundeswehr München
Jahr:
1983
Seiten (Monografie):
47
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmitz, Lothar
BibTeX