京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: 005.13/1)
該当件数:2件
Tree automata and languages / edited by Maurice Nivat, Andreas Podelski
Amsterdam : North-Holland , 1992. - (Studies in computer science and artificial intelligence ; 10)
図書
Formal specification : techniques and applications / Nimal Nissanke
London : Springer , c1999