Eintrag weiter verarbeiten
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Gespeichert in:
| Personen und Körperschaften: | , , |
|---|---|
| Titel: | Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers/ edited by Armin Biere, Amir Nahir, Tanja Vos |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin, Heidelberg
Springer
2013
|
| Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7857 |
| Schlagwörter: | |
| Druckausg.: | Hardware and software: verification and testing, Berlin : Springer, 2013, XI, 279 S. |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |