by
International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Author
International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), Yorav, Karen
Format:
Call Number
QA76.76.V47 I575 2008
Publisher
Springer-Verlag,
Publication Date
2008
ISBN
9783540779643
Holds:
Copies:
by
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Author
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel), Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format:
Call Number
QA76.76.V47 I57 2006
Publisher
Springer-Verlag,
Publication Date
2007
ISBN
9783540708889
Holds:
Copies:
Select an Action