Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
Gespeichert in:
Körperschaften: | , |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Berlin, Heidelberg u.a.
Springer
2005
|
Schriftenreihe: | Lecture notes in computer science
3725 |
Schlagworte: | |
Online Zugang: | Inhaltsverzeichnis Verlagsangaben Cover Inhaltstext http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3725 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | Literaturangaben |
---|---|
Beschreibung: | XII, 412 S. graph. Darst. |
ISBN: | 3540291059 3-540-29105-9 9783540291053 978-3-540-29105-3 |