Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2001) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2001), 2001; 2001
Online
Konferenzschrift, Sammelwerk, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Tiziana Margaria, Tom Melham |
Autor/in / Beteiligte Person: | Margaria, Tiziana ; Melham, Tom |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2001) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2001), 2001; 2001 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540447986 |
DOI: | 10.1007/3-540-44798-9 |
Schlagwort: |
|
Sonstiges: |
|