Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	München : Oldenbourg , 1992
Omfang	x, 217 s.
Opplysninger	Avh. (doktorgrad) - Universität Karlsruhe, 1991
Emner	Algoritmeanalyse Denotasjonell semantikk
ISBN	3486222554

Biblioteksøk