Veebilehe suurendamiseks ja vähendamiseks tuleb Ctrl-klahvi (Cmd-klahvi) all hoides vajutada "+" või "-" klahvi.
Teine võimalus on liigutada hiire kerimisrulli, hoides all Ctrl-klahvi.
Tavasuuruse taastamiseks tuleb samaaegselt vajutada klahvidele Ctrl ja 0.

Suurendus

Kontrastsus





TELLI DIGIKOOPIA

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

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused / Ando Saabas
Autor Saabas, Ando, 1979- autor
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