TELLI DIGIKOOPIA

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

Leiti ...

TÄIELIK KATALOOG

Kontakt
Autor Ernits, Juhan, 1974-
Pealkiri Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis / Juhan-Peep Ernits
Ilmunud Tallinn : Tallinn University of Technology Press, 2007 ([Tallinn] : Infotrükk)
Ilmumiskoht Harjumaa
Kirjeldus 124 lk. : ill. ; 25 cm
Püsilink https://www.ester.ee/record=b2324998~S1*est