Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Bewaard in:
| Andere auteurs: | |
|---|---|
| Formaat: | E-boek |
| Taal: | English |
| Gepubliceerd in: |
Berlin, Heidelberg
Springer
2009.
|
| Reeks: | Lecture Notes in Computer Science
5394 |
| Onderwerpen: | |
| Online toegang: | Click here to view the full text content |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| Fysieke beschrijving: | 1 online resource digital. |
|---|---|
| ISBN: | 9783642017025 9783642017018 |
| ISSN: | 0302-9743 |