Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: International Haifa Verification Conference
14 träffar
|
Titel |
Författare |
År |
Språk |
1 |
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.)
|
Israel) 2005 : (1st International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
2 |
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (editors)
|
Israel) 2006 : (2nd International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
3 |
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (editor)
|
Israel) 2007 : (3rd International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
4 |
Hardware and Software: Verification and Testing electronic resource : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / edited by Hana Chockler, Alan J. Hu
|
Israel) (2008 International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
5 |
Hardware and Software: Verification and Testing electronic resource : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
|
Israel) 2009 : (5th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
6 |
Hardware and Software: Verification and Testing electronic resource : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
|
Israel) 2010 : (6th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
7 |
Hardware and Software: Verification and Testing electronic resource : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenҫo, Onn Shehory
|
Israel) 2011 : (7th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
8 |
"Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers"
|
International Haifa Verification Conference
|
2009 |
Okänt |
9 |
"Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers"
|
International Haifa Verification Conference
|
2012 |
Okänt |
10 |
"Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers"
|
International Haifa Verification Conference
|
2006 |
Okänt |
11 |
"Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers"
|
International Haifa Verification Conference
|
2007 |
Okänt |
12 |
"Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings"
|
International Haifa Verification Conference
|
2008 |
Okänt |
13 |
Formal Verification of Secure User Mode Device Execution with DMA
|
HVC 2014 10th International Haifa Verification Conference Oliver Schwarz
|
2014 |
Engelska |
14 |
Computer aided verification - 9th international conference : proceedings
|
International Conference on Computer Aided Verification 1997) Haifa :
|
cop. 1997 |
Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.