Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , , |
| Formáid: | Ríomhleabhar |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007.
|
| Sraith: | Lecture Notes in Computer Science,
4383 |
| Ábhair: | |
| Rochtain ar líne: | Click here to view the full text content |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| Cur síos fisiciúil: | 1 online resource (234 pages) digital. |
|---|---|
| ISBN: | 9783540708896 |
| ISSN: | 0302-9743 ; |