Importo totale (1 articolo articoli):
Destinazione ordine:
formal methods computer aided design (95 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (95)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (75)
- Come nuovo, Ottimo o Quasi ottimo (10)
- Molto buono o Buono (10)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (40)
- Non Print on Demand (80)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,05
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,18
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Trade Paperback. New. Sealed. Clean, tight and unmarked.
-
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,14
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 7,09
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Da: Bookstore Brengelman, Cincinnati, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 14,04
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Da: Solomon's Mine Books, Howard, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 22,18
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New. *NEW* Hardcover fresh from the distributor with no remainder marks and no price tags.
-
Formal Methods in Computer-Aided Design
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 19,95
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 26,27
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).
Editore: Springer Berlin, 1996
Lingua: Inglese
Da: ralfs-buecherkiste, Herzfelde, MOL, Germania
Valutazione del venditore 5 su 5 stelle
EUR 15,00
Convertire valutaEUR 29,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. 470 Computerwissenschaft Guter Zustand/ Good With figures and tables. Ex-Library. ha1060027 Sprache: Englisch Gewicht in Gramm: 650.
-
Formal Methods in Computer-Aided Design
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 45,12
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 548.
-
Formal Methods in Computer-Aided Design
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 44,08
Convertire valutaEUR 7,46 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 548 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Editore: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Lingua: Inglese
Da: CSG Onlinebuch GMBH, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
EUR 16,92
Convertire valutaEUR 35,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.
-
Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,81
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,81
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,81
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 48,26
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 48,26
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 48,26
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 48,26
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,66
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,66
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,66
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods in Computer-Aided Design
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,66
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods in Computer-Aided Design
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 45,32
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 548.
-
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)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,42
Convertire valutaEUR 12,21 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Used - Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre.' Ex-library, but has been well cared for. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,23
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,23
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,23
Convertire valutaEUR 2,25 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,94
Convertire valutaGratis per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,91
Convertire valutaEUR 13,74 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
