Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Advances in Hardware Design and Verification
Image d'archives
Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780412813306_new
Acheter neuf
EUR 160,75
Expédition à EUR 13,89
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances in Hardware Design and Verification
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 7814407-n
Acheter neuf
EUR 160,74
Expédition à EUR 17,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances in Hardware Design and Verification
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 7814407-n
Acheter neuf
EUR 177,51
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances in Hardware Design and Verification
Edité par
Chapman and Hall, GB, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Neuf
Couverture rigide
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. 1997 ed. 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. Formal verification is increasingly recognized as an appropriate tool for design acceptance and for detecting design errors and specification ambiguities. The validation of functional and timing behaviour is a major bottleneck in current VLSI design systems. Once an academic area, formal design and verification techniques are attracting serious attention from industry. Given this increased activity, the series aims to attract researchers and users from both communities. This working conference focuses on the integration of verification technologies, identifying ideal subdomains of application for each and on the possibility of creating hybrid verification tools and approaches. N° de réf. du vendeur LU-9780412813306
Acheter neuf
EUR 208,94
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances in Hardware Design and Verification
Edité par
Chapman and Hall, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 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. Editor(s): Li, H.F.; Probst, D.K. Series: IFIP Advances in Information and Communication Technology. Num Pages: 322 pages, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1400. . 1997. Hardback. . . . . N° de réf. du vendeur V9780412813306
Acheter neuf
EUR 202,95
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Advances in Hardware Design and Verification
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 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 Europ. N° de réf. du vendeur 458435426
Acheter neuf
EUR 178,35
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances in Hardware Design and Verification
Edité par
Springer, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 7814407
Acheter D'occasion
EUR 238,80
Expédition à EUR 17,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)
Edité par
Springer, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA75804128133005
Acheter D'occasion
EUR 229,26
Expédition à EUR 28,98
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Advances in Hardware Design and Verification
Edité par
Chapman and Hall, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Neuf
Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 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. Editor(s): Li, H.F.; Probst, D.K. Series: IFIP Advances in Information and Communication Technology. Num Pages: 322 pages, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1400. . 1997. Hardback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9780412813306
Acheter neuf
EUR 254,96
Expédition à EUR 9,10
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Advances in Hardware Design and Verification
Edité par
Springer, 1997
ISBN 10 : 0412813300
ISBN 13 : 9780412813306
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 7814407
Acheter D'occasion
EUR 263,62
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles