Hardware and software verification and testing first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin, Heidelberg u.a.
Springer
2006
|
| Schriftenreihe: | Lecture notes in computer science
3875 |
| Schlagworte: |
Computer systems
> Verification
> Computer software
> Computer programs
> Integrated circuits
> Konferenzschrift
> Hardwareverifikation
> Korrektheit
> Programmverifikation
> Softwaretest
> Multithreading
> Debugging
> Programmanalyse
> System-on-Chip
> Model Checking
> Benchmark
> Software
> Testen
|
| Online Zugang: | Inhaltsverzeichnis Inhaltstext Verlagsangaben Cover Inhaltstext http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3875 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | X, 264 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 3540326049 3-540-32604-9 9783540326045 978-3-540-32604-5 |