Formal methods computer aided design (85 résultats)

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Srivas, Mandayam [Editor]; Camilleri, Albert [Editor];

Etat: Occasion - Satisfaisant

EUR 9,45

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped w…

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 1996

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Srivas, Mandayam, Camilleri, Albert

Etat: Occasion - Assez bon

EUR 6,98

EUR 6,06 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1996

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 15,66

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. 1996th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : Austin Goodwill 1101, Austin, TX, Etats-UnisAustin Goodwill 1101

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 38,10

EUR 2,86 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : good. Book shows general signs of use and handling. May have light wear on the cover or edges and minimal writing or highlighting. Binding remains tight, and pages are clean and readable.

Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 41,67

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 2004

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

3540001166 / 9783540001164

Etat: Occasion - Satisfaisant

EUR 47,66

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, USA, November 2002, Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 2002

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 54,29

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. 2002nd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Langue : anglais

Edité par Springer, 2013

Série : Livre 79 sur 292 - IFIP Advances in Information and Communication Technology

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Etat: Neuf

EUR 55,93

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Langue : anglais

Edité par Springer, 1996

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 56,23

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : New.

Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback or Softback)

Srivas, Mandayam

Langue : anglais

Edité par Springer 10/23/1996, 1996

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,60

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings. Book.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Langue : anglais

Edité par Springer, 2013

Série : Livre 79 sur 292 - IFIP Advances in Information and Communication Technology

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Etat: Occasion - Comme neuf

EUR 58,12

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,33

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods in Computer-Aided Design

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,70

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 10 disponible(s)

Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166)

Langue : anglais

Edité par Springer, 1996

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Etat: Neuf

EUR 60,72

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Etat: Occasion - Comme neuf

EUR 59,83

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Etat: Occasion - Comme neuf

EUR 61,19

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Langue : anglais

Edité par Springer, 1996

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 61,87

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : As New. Unread book in perfect condition.

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Langue : anglais

Edité par Springer, 2013

Série : Livre 79 sur 292 - IFIP Advances in Information and Communication Technology

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,03

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Langue : anglais

Edité par Springer, 2013

Série : Livre 79 sur 292 - IFIP Advances in Information and Communication Technology

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,02

EUR 17,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166)

Langue : anglais

Edité par Springer, 1996

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,19

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522)

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,19

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,19

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Srivas, Mandayam

Langue : anglais

Edité par Springer 1996-10, 1996

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,69

EUR 18,12 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Hu, Alan J.

Langue : anglais

Edité par Springer 2004-11, 2004

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,73

EUR 18,12 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Methods in Computer-Aided Design. Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Langue : anglais

Edité par 1998-01-01, 1998

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Etat: Neuf

EUR 57,90

EUR 18,12 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 75,09

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Langue : anglais

Edité par Springer, 2013

Série : Livre 79 sur 292 - IFIP Advances in Information and Communication Technology

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Etat: Occasion - Comme neuf

EUR 60,06

EUR 17,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Langue : anglais

Edité par Springer, 1998

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Etat: Neuf

EUR 60,89

EUR 17,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Langue : anglais

Edité par Springer, 1996

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Etat: Neuf

EUR 60,67

EUR 17,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles