検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りTheoretical and practical aspects of SPIN model checking -- : International SPIN workshop : 5th : Jul 1999, Trento, Italy : International SPIN workshop : 6th : Sep 1999, Toulouse, France. (Lecture Notes in Computer Science ; 1680)Theoretical and practical aspects of SPIN model checking -- : International SPIN workshop : 5th : Jul 1999, Trento, Italy : International SPIN workshop : 6th : Sep 1999, Toulouse, France. (Lecture Notes in Computer Science ; 1680)紙図書Springer-Verlag1999.<M17-01-0599>国立国会図書館ISBN3540664998Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedingsTheoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings紙図書Dennis Dams ... [et al.], (eds.)Springerc1999全国の図書館ISBN3540664998検索結果は以上です。書誌情報を一括出力