馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Hardware and software verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers /

Corporate Authors: International Haifa Verification Conference Haifa, Israel); SpringerLink (Online service)
Group Author: Biere, Armin; Nahir, Amir; Vos, Tanja
Published:

Electronic eBook

2

Cover is for reference only

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

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel
Group Author: Ur Shmuel; Bin Eyal; Wolfsthal Yaron
Published: Springer,
Publication Dates: 2006.
Call Number: TP306-532/I615/2005

Book

3

Cover is for reference only

Hardware and software: verification and testing：6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers

Corporate Authors: International Haifa Verification Conference (6th 2010 Haifa, Israel); SpringerLink (Online service)
Group Author: Barner Sharon.
Published: Springer,
Publication Dates: c2011.

Book

4

Cover is for reference only

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

Corporate Authors: International Haifa Verification Conference (3rd 2007 Haifa, Israel); SpringerLink (Online service)
Group Author: Yorav Karen.
Published: Springer,
Publication Dates: 2008.

Book

5

Cover is for reference only

Hardware and software, verification and testing：Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Corporate Authors: International Haifa Verification Conference (2nd 2006 Haifa, Israel); SpringerLink (Online service)
Group Author: Ziv Avi.; Ur Shmuel.; Bin Eyal.
Published: Springer,
Publication Dates: c2007.

Book

6

Cover is for reference only

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

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel); SpringerLink (Online service)
Group Author: Bin Eyal.; Wolfsthal Yaron.; Ur Shmuel.
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

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

Corporate Authors: International Haifa Verification Conference (4th 2008 Haifa, Israel); SpringerLink (Online service)
Group Author: Hu Alan J.; (Alan John); Chockler Hana.
Published: Springer,
Publication Dates: c2009.

Book

Narrow Search