検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 1 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りLeveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications, ISoLA 2010 : Heraklion, Crete, Greece, October 18-21, 2010 : proceedings. : Isola 2010 meeting : Isola'2010 conference : Oct 2010, Heraklion, Greece. (Lecture Notes in Computer Science ; 6415-6416)Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications, ISoLA 2010 : Heraklion, Crete, Greece, October 18-21, 2010 : proceedings. : Isola 2010 meeting : Isola'2010 conference : Oct 2010, Heraklion, Greece. (Lecture Notes in Computer Science ; 6415-6416)紙図書Springerc2010.<M17-11-708>国立国会図書館ISBN9783642165573 3642165575 9783642165603 3642165605検索結果は以上です。書誌情報を一括出力