Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , , |
| Fformat: | eLyfr |
| Iaith: | English |
| Cyhoeddwyd: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007.
|
| Cyfres: | Lecture Notes in Computer Science,
4383 |
| Pynciau: | |
| Mynediad Ar-lein: | Click here to view the full text content |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Byddwch y cyntaf i adael sylw!