Montant total (1 article articles) :
Destination de la commande :
formal methods computer aided design de oleary john (15 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (15)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (11)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (15)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (8)
- Sans impressions à la demande (13)
Langue (1)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
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).
Edité par New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10 : 3540001166 ISBN 13 : 9783540001164
Langue: anglais
Vendeur : CSG Onlinebuch GMBH, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,92
Autre deviseEUR 19,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,48
Autre deviseEUR 4,61 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Edité par Springer Berlin Heidelberg, 2002
ISBN 10 : 3540001166 ISBN 13 : 9783540001164
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
-
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 57,36
Autre deviseEUR 10,97 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Formal Methods in Computer-Aided Design
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10 : 3540001166 ISBN 13 : 9783540001164
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 15 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,86
Autre deviseEUR 17,05 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods in Computer-Aided Design
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65
Autre deviseEUR 6,82 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods in Computer-Aided Design
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,30
Autre deviseEUR 25,57 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,47
Autre deviseEUR 17,34 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods in Computer-Aided Design
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 19,98
Autre deviseEUR 55,43 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,28
Autre deviseEUR 17,05 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,31
Autre deviseEUR 17,34 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods in Computer-Aided Design
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,70
Autre deviseEUR 63,96 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods in Computer-Aided Design
Edité par Springer Berlin Heidelberg, 2002
ISBN 10 : 3540001166 ISBN 13 : 9783540001164
Langue: anglais
EUR 48,37
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreport.
-
Formal Methods in Computer-Aided Design
Edité par Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10 : 3540001166 ISBN 13 : 9783540001164
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 11 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2. 420 pp. Englisch.
