E-Book, Englisch, 313 Seiten, eBook
Reihe: IFIP Advances in Information and Communication Technology
Probst Advances in Hardware Design and Verification
1. Auflage 1997
ISBN: 978-0-387-35190-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 313 Seiten, eBook
Reihe: IFIP Advances in Information and Communication Technology
ISBN: 978-0-387-35190-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.
Zielgruppe
Research