Correct hardware design verification (78 résultats)

Couverture souple

Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, AllemagneUniversitätsbuchhandlung Herta Hold GmbH

Vendeur avec une évaluation de 3 étoiles

Milne, George J.; Pierre, Laurence (EDT)

Membre d’une association professionnelle : VDAGIAQILAB

Etat: Occasion

EUR 12,00

EUR 30,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

XII, 482 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2144. Sprache: Englisch. …

Correct Hardware Design and Verification Methods : Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Proceedings

Langue : anglais

Edité par Springer, 1993

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,96

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee (Paperback or Softback)

Milne, George J.

Langue : anglais

Edité par Springer 5/12/1993, 1993

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,41

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee. Book.

Correct Hardware Design and Verification Methods : 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Camurati, Paolo E. (EDT); Eveking, Hans (EDT)

Etat: Neuf

EUR 58,22

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods : Ifip Wg 10.5 Advanced Research Working Conference, Charme '95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,22

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Frankfurt, Germany, October 1995. Proc (Paperback or Softback)

Camurati, Paolo Enrico

Langue : anglais

Edité par Springer 9/18/1995, 1995

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,67

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Frankfurt, Germany, October 1995. Proc. Book.

Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, l'Aquila, Italy, October 21-24, (Paperback or Softback)

Geist, Daniel

Langue : anglais

Edité par Springer 10/10/2003, 2003

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Charme 200 (2001 Livingston, Scotland); Melham, Tom

Etat: Neuf

EUR 60,67

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, l'Aquila, Italy, October 21-24. Book.

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

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,37

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, Septem (Paperback or Softback)

Margaria, Tiziana

Langue : anglais

Edité par Springer 8/27/2001, 2001

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,82

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, Septem. Book.

Correct Hardware Design and Verification Methods : 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Charme'9 (1999 Bad Herrenalb, Germany); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Pierre, Laurence (EDT); Laurence, Pierre; Kropf, Thomas

Etat: Occasion - Comme neuf

EUR 62,64

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Correct Hardware Design and Verification Methods : 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 63,19

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... (Lecture Notes in Computer Science, 2860)

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,87

EUR 2,69 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... (Lecture Notes in Computer Science, 2144)

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,87

EUR 2,69 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science, 1703)

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Charme 200 (2001 Livingston, Scotland); Melham, Tom

Etat: Neuf

EUR 62,87

EUR 2,69 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Charme'9 (1999 Bad Herrenalb, Germany); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Pierre, Laurence (EDT); Laurence, Pierre; Kropf, Thomas

Etat: Occasion - Comme neuf

EUR 63,35

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Correct Hardware Design and Verification Methods : 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 64,30

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Correct Hardware Design and Verification Methods

George J. Milne

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1993

Couverture souple

Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 67,98

Frais de port gratuits

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New. 1993 ed. These proceedings contain the papers presented at theAdvanced Research Working Conference on Correct HardwareDesign Methodologies, held in Arles, France, in May 1993,and organized by the ESPRIT Working Group 6018 CHARME-2andthe Universit de Provence, Marseille, in cooperation withIFIP Working Group 10.2.Formal verification is emerging as a plausible alternativeto exhaustive simulation for establishing correct digitalhardware designs. The validation of functional and timingbehavior is a major bottleneck in current VLSI designsystems, slowing the arrival of products in the marketplacewith its associated increase in cost. From being apredominantly academic area of study until a few years ago,formal design and verification techniques are now beginningto migrate into industrial use. As we are now witnessing anincrease in activity in this area in both academia andindustry, the aim of this working conference was to bringtogether researchers and users from both communities.…

Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings (Lecture Notes in Computer Science, 683)

Langue : anglais

Edité par Springer, 1993

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 66,57

EUR 2,69 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987)

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Borrione, Dominique (EDT); Paul, Wolfgang (EDT)

Etat: Neuf

EUR 66,57

EUR 2,69 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design And Verification Methods : 13th Ifip Wg 10.5advanced Research, Working Conference, Charme 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

3540291059 / 9783540291053

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 67,03

EUR 2,37 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods

Daniel Geist

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2003

Couverture souple

Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Charme'9 (1999 Bad Herrenalb, Germany); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Pierre, Laurence (EDT); Laurence, Pierre; Kropf, Thomas

Etat: Neuf

EUR 70,88

Frais de port gratuits

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New. 2003 ed. This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the 'CHARME' series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri?cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21-24 October 2003 at the Computer Science Department of the University of L'Aquila, Italy.It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti?c program was comprised of: - A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. - Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. - Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. - Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o?cial program.…

Correct Hardware Design and Verification Methods : 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Borrione, Dominique (EDT); Paul, Wolfgang (EDT)

Etat: Neuf

EUR 62,08

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design And Verification Methods : 13th Ifip Wg 10.5advanced Research, Working Conference, Charme 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

3540291059 / 9783540291053

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Camurati, Paolo E. (EDT); Eveking, Hans (EDT)

Etat: Neuf

EUR 62,22

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods : Ifip Wg 10.5 Advanced Research Working Conference, Charme '95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,12

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods : 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Milne, George J.; Pierre, Laurence (EDT)

Etat: Neuf

EUR 62,28

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Correct Hardware Design and Verification Methods : Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Proceedings

Langue : anglais

Edité par Springer, 1993

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Charme 200 (2001 Livingston, Scotland); Melham, Tom

Etat: Neuf

EUR 65,85

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Charme 200 (2001 Livingston, Scotland); Melham, Tom

Etat: Neuf

EUR 67,99

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Charme'9 (1999 Bad Herrenalb, Germany); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Pierre, Laurence (EDT); Laurence, Pierre; Kropf, Thomas

Etat: Occasion - Comme neuf

EUR 69,04

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Correct Hardware Design and Verification Methods : 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 69,24

EUR 17,98 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Correct Hardware Design and Verification Methods : 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles