Hardware and software : verification and testing : third International Haifa Verification Conference, HVC 2007 Haifa, Israel, October 23-25, 2007 proceedings /
| Další autoři: |
Yorav, Karen
(
Editor )
|
|---|---|
| Korporace: | |
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Berlin :
Springer,
2008.
|
| Předmět: | |