Automatische Komplexitätsanalyse funktionaler Programme

Wolf Zimmermann
Bok · Tysk · 1990

Utgitt	Berlin : Springer , c1990
Omfang	194 s.
Emner	Kompleksitetsanalyse Styfl
ISBN	038753430X. - 354053430X