Edité par Kluwer Academic Publishers, 1997
ISBN 10 : 0412813300 ISBN 13 : 9780412813306
Langue: anglais
Vendeur : New Book Sale, London, Royaume-Uni
EUR 41,27
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service.
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10 : 3540343040 ISBN 13 : 9783540343042
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 73,40
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
EUR 159,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 158,36
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 158,35
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 158,34
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 206,16
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 328.
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 226,95
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. 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.
EUR 178,35
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 234,63
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 225,21
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
EUR 259,54
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 214,95
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. 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.
EUR 220,07
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 220,04
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 328 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 223,80
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 328.