Matches in Library of Congress for { <http://lccn.loc.gov/2008429917> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 2008429917 alternative "English title in colophon: Security verification through model checking: a case study using software update system".
- 2008429917 contributor B11284842.
- 2008429917 contributor B11284843.
- 2008429917 created "2007.".
- 2008429917 date "2007".
- 2008429917 date "2007.".
- 2008429917 dateCopyrighted "2007.".
- 2008429917 extent "7 p. :".
- 2008429917 isPartOf "880-04 Sanpu kagaku kenkyū sokuhō = Programming science technical report".
- 2008429917 issued "2007".
- 2008429917 issued "2007.".
- 2008429917 language "jpn".
- 2008429917 publisher "Ikeda-shi: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā,".
- 2008429917 subject "MLCMJ 2008/00435 (T)".
- 2008429917 title "880-02 Sofutowea kōshin shisutemu no moderu kensa ni yoru sekyuriti / Yamagata Yoriyuki, Saitō Masaya.".
- 2008429917 title "English title in colophon: Security verification through model checking: a case study using software update system".
- 2008429917 type "text".