2025年度のCiNii Books機能統合対応を完了いたしました

International Haifa Verification Conference

ID:DA1626522X

別名: Haifa Verification Conference, International

HVC

同姓同名の著者を検索

検索結果5件中 1-5 を表示

1

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings

Ofer Strichman, Rachel Tzoref-Brill (eds.)

Springer c2017 Lecture notes in computer science 10629 . LNCS sublibrary ; SL2 . Programming and software engineering

所蔵館1館
2

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

Roderick Bloem, Eli Arbel (eds.)

Springer c2016 Lecture notes in computer science 10028 . LNCS sublibrary ; SL 2 . Programming and software engineering

所蔵館1館
3

Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings

Hana Chockler, Alan J. Hu (eds.)

Springer c2009 Lecture notes in computer science 5394

所蔵館1館
4

Hardware and software, verification and testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings

Karen Yorav (ed.)

Springer c2008 Lecture notes in computer science 4899

: pbk

所蔵館4館
5

Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005. revised selected papers

Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)

Springer Berlin c2006 Lecture notes in computer science 3875

所蔵館9館

この著者を外部サイトでさがす

関連著者

ページトップへ