Descripción del título
Advances in Hardware Design...
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
Monografía
monografia Rebiun17770372 https://catalogo.rebiun.org/rebiun/record/Rebiun17770372 cr nn 008mamaa 151116s1997 xxu| s |||| 0|eng d 9780387351902 978-0-387-35190-2 10.1007/978-0-387-35190-2 doi UPVA 996967845403706 UPM 991005699986304212 UAM 991007781783604211 UCAR 991007987679704213 BUS UNH bicssc UND bicssc COM030000 bisacsh 025.04 23 Advances in Hardware Design and Verification Recurso electrónico] :] IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16{u2013}18 October 1997, Montreal, Canada edited by Hon F. Li, David K. Probst Servicio en línea Boston, MA Springer US Imprint: Springer 1997 Boston, MA Boston, MA Springer US Imprint: Springer IX, 313 p. online resource IX, 313 p. IFIP Advances in Information and Communication Technology 1868-4238 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 Li, Hon F ed Probst, David K ed SpringerLink eBooks--201605 (Servicio en línea) Computer Science (Springer-11645) IFIP Advances in Information and Communication Technology 1868-4238