logo
  • LDR __ 03072nama2200769i4500
  • 005 __ 20180314030305.0
  • 006 __ m\\|\d|\\\
  • 007 __ cr|n|||||||||
  • 008 __ 121214s2012\\er||||||||||||||eng\
  • 020 __ |a9789949233861
  • 020 __ |a9789949233878|q(pdf)
  • 040 __ |aErRR|best|cErRR|dErTTUR
  • 041 0_ |aeng|best
  • 072 _7 |a004|2udkrb
  • 080 __ |a004.415.53|x(043)|2est
  • 100 1_ |aKääramees, Marko,|d1969-
  • 245 12 |aA symbolic approach to model-based online testing =|bMudelipõhine online-testimine kasutades sümbolarvutust /|cMarko Kääramees.
  • 246 11 |aMudelipõhine online-testimine kasutades sümbolarvutust.
  • 260 __ |aTallinn :|bTUT Press,|c2012|e(Tallinn :|fTTÜ trükikoda)
  • 300 __ |a216 lk. :|bill. ;|c25 cm.
  • 490 0_ |aTheses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika,|x1406-4731 ;|v79.
  • 502 __ |aDoktoritöö: Tallinna Tehnikaülikool, 2012.
  • 504 __ |aAutori publikatsioonid lk. 210-211. - Bibliograafia lk. 117-125.
  • 530 __ |aKättesaadav ka võrguteavikuna.
  • 546 __ |aKokkuvõte eesti keeles.
  • 650 _9 |atarkvara.
  • 650 _9 |atestimine.
  • 650 _9 |akompuutermodelleerimine.
  • 650 _9 |amudelipõhine tarkvaraarendus.
  • 650 _9 |aarvutialgebra.
  • 650 _9 |adissertatsioonid.
  • 655 _9 |adissertatsioonid.
  • 710 2_ |aTallinna Tehnikaülikool.
  • 752 __ |cHarjumaa.
  • 830 _0 |aTallinna Tehnikaülikooli väitekirjad.|nC,|x1406-4731 ;|v79.
  • 856 4_ |uhttp://digi.lib.ttu.ee/i/?806|zTÄISTEKST TTÜ raamatukogu digikogus
  • 910 0_ |aRMT 2012:12|b978-9949-23-386-1|b978-9949-23-387-8 (pdf)
  • 930 0_ |ar|b1. Teaduskirjandus|cK|dE
  • 950 __ |eRBK mall|tRBK sõrmus|sNAO sirje 2012-12|pNAO urve 2014-01 (691>650)