TELLI DIGIKOOPIA

Sellest väljaandest saad tasulise teenusena tellida digikoopia.
Teenuse tingimused ja maksumus on raamatukogudes erinevad.

Leiti ...

TÄIELIK KATALOOG

Kontakt
Autor Saabas, Ando, 1979-
Pealkiri Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused / Ando Saabas
Ilmunud Tallinn : Tallinn University of Technology Press, 2008 ([Tallinn : Infotrükk])
Ilmumiskoht Harjumaa
Kirjeldus 172 lk. : ill. ; 25 cm
Püsilink https://www.ester.ee/record=b2431341~S1*est