Montant total (1 article articles) :
Destination de la commande :
computation engineering applied automata de gopalakrishnan ganesh (21 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (21)
- 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)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (3)
- Sans impressions à la demande (19)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Computation Engineering: Applied Automata Theory and Logic
Edité par Springer (edition 2006), 2006
ISBN 10 : 0387244182 ISBN 13 : 9780387244181
Langue: anglais
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,10
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. 2006. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 25,55
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.2.
-
Computation Engineering : Applied Automata Theory and Logic
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 25,59
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. 1st Edition. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Computation Engineering: Applied Automata Theory And Logic
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,15
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Computation Engineering: Applied Automata Theory And Logic
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,31
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Computation Engineering: Applied Automata Theory And Logic
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,31
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 20 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
COMPUTATION ENGINEERING: APPLIED AUTOMATA THEORY AND LOGIC
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,02
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 95,55
Autre deviseEUR 6,18 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
-
Computation Engineering: Applied Automata Theory And Logic
Edité par Springer, 2006
Langue: anglais
Vendeur : Books in my Basket, New Delhi, Inde
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,85
Autre deviseEUR 14 expédition depuis Inde vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New. ISBN:9780387244181.
-
Computation Engineering : Applied Automata Theory and Logic
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 102,41
Autre deviseEUR 18,32 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,40
Autre deviseEUR 14,17 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,40
Autre deviseEUR 14,17 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 120,27
Autre deviseEUR 3,55 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 120,54
Autre deviseEUR 3,55 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computation Engineering : Applied Automata Theory and Logic
Edité par Springer US, Springer US, 2010
ISBN 10 : 1441937412 ISBN 13 : 9781441937414
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 101,72
Autre deviseEUR 31,80 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - It takes more e ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri cation is increasing (one estimate is that veri cation complexity rises as the square of design complexity). Although this veri cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical logic and automata theory have come to the designers' rescue. The rst such method was equivalence checking, which automates Boolean algebra calculations.Nextcamemodelchecking,whichcanautomatically verify that designs have - or don't have - behaviours of interest speci ed in temporal logic. Both these methods are available today in tools sold by all the major design automation vendors. It is an amazing fact that ideas like Boolean algebra and modal logic, originating frommathematicians andphilosophersbeforemodern computers were invented, have come to underlie computer aided tools for creating hardware designs. The recent success of 'formal' approaches to hardware veri cation has lead to the creation of a new methodology: assertion based design, in which formal properties are incorporated into designs and are then validated by a combination of dynamic simulation and static model checking. Two industrial strength property languages based on tem- ral logic are undergoing IEEE standardisation. It is not only hardwaredesignand veri cation that is changing: new mathematical approaches to software veri cation are starting to be - ployed. Microsoft provides windows driver developers with veri cation tools based on symbolic methods.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 155,89
Autre deviseEUR 29,56 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
EUR 132,53
Autre deviseEUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Approaches automata theory and logic as the underlying engineering mathematics for Computation EngineeringCovers classical topics such as the Rice s Theorem, as well as modern topics such as Model checking, Buchi Automata, and temporal Logic.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 179,91
Autre deviseEUR 11,82 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 476 pages. 9.00x6.10x1.20 inches. In Stock.
-
Computation Engineering : Applied Automata Theory and Logic
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 183,17
Autre deviseEUR 32,87 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - It takes more e ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri cation is increasing (one estimate is that veri cation complexity rises as the square of design complexity). Although this veri cation crisis was predicted decades ago, it is only recently that powerful methods based on mathematical logic and automata theory have come to the designers' rescue. The rst such method was equivalence checking, which automates Boolean algebra calculations.Nextcamemodelchecking,whichcanautomatically verify that designs have - or don't have - behaviours of interest speci ed in temporal logic. Both these methods are available today in tools sold by all the major design automation vendors. It is an amazing fact that ideas like Boolean algebra and modal logic, originating frommathematicians andphilosophersbeforemodern computers were invented, have come to underlie computer aided tools for creating hardware designs. The recent success of 'formal' approaches to hardware veri cation has lead to the creation of a new methodology: assertion based design, in which formal properties are incorporated into designs and are then validated by a combination of dynamic simulation and static model checking. Two industrial strength property languages based on tem- ral logic are undergoing IEEE standardisation. It is not only hardwaredesignand veri cation that is changing: new mathematical approaches to software veri cation are starting to be - ployed. Microsoft provides windows driver developers with veri cation tools based on symbolic methods.
-
Computation Engineering: Applied Automata Theory and Logic
Edité par Springer-Verlag New York Inc., 2010
ISBN 10 : 1441937412 ISBN 13 : 9781441937414
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,50
Autre deviseEUR 16,67 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 735.
-
Computation Engineering: Applied Automata Theory and Logic
Edité par Springer-Verlag New York Inc., 2006
ISBN 10 : 0387244182 ISBN 13 : 9780387244181
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,50
Autre deviseEUR 18,80 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 915.
