Montant total (1 article articles) :
Destination de la commande :
computation engineering applied automata de gopalakrishnan ganesh (26 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (26)
- 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 (6)
- Sans impressions à la demande (24)
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 22,23
Autre deviseEUR 9,38 expédition depuis Etats-Unis vers FranceQuantité 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 : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,21
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité 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 35,91
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité 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 : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 22,22
Autre deviseEUR 13,44 expédition depuis Etats-Unis vers FranceQuantité 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 : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,91
Autre deviseEUR 2,86 expédition depuis Etats-Unis vers FranceQuantité 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 47,59
Autre deviseEUR 2,86 expédition depuis Etats-Unis vers FranceQuantité 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
Edité par Springer, 2006
Langue: anglais
Vendeur : Books in my Basket, New Delhi, Inde
Évaluation du vendeur 5 sur 5 étoiles
EUR 91,06
Autre deviseEUR 16,30 expédition depuis Inde vers FranceQuantité 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 101,39
Autre deviseEUR 11,11 expédition depuis Royaume-Uni vers FranceQuantité 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 108,30
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité 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 108,30
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Blue Vase Books, Interlochen, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,35
Autre deviseEUR 89,59 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : acceptable. The item is very worn but is perfectly usable. Signs of wear can include aesthetic issues such as scratches, dents, worn and creased covers, folded page corners and minor liquid stains. All pages and the cover are intact, but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting, but the text is not obscured or unreadable. Page edges may have foxing age related spots and browning . May NOT include discs, access code or other supplemental materials.
-
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 103,02
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 - 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 : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 108,29
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 91,73
Autre deviseEUR 37,54 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
-
Computation Engineering : Applied Automata Theory And Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 116,91
Autre deviseEUR 17,06 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computation Engineering : Applied Automata Theory And Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 119,60
Autre deviseEUR 17,06 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Computation Engineering : Applied Automata Theory And Logic
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 119,80
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
EUR 132,53
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité 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 : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 144,48
Autre deviseEUR 5,84 expédition depuis Royaume-Uni vers FranceQuantité disponible : 20 disponible(s)
Ajouter au panierHardcover. Etat : NEW. Brand New! Fast Delivery USA Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-14 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
COMPUTATION ENGINEERING: APPLIED AUTOMATA THEORY AND LOGIC
Vendeur : URW Books Store, CASPER, WY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 144,40
Autre deviseEUR 12,79 expédition depuis Etats-Unis vers FranceQuantité disponible : 20 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. Brand New! Fast Delivery, Delivery With In 8-14 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 115,47
Autre deviseEUR 64 expédition depuis Etats-Unis vers FranceQuantité 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 115,73
Autre deviseEUR 64 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computation Engineering: Applied Automata Theory and Logic
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 172,64
Autre deviseEUR 11,71 expédition depuis Royaume-Uni vers FranceQuantité 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 : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 160,36
Autre deviseEUR 29,26 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
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 127,22
Autre deviseEUR 8,67 expédition depuis Royaume-Uni vers FranceQuantité 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 127,22
Autre deviseEUR 9,94 expédition depuis Royaume-Uni vers FranceQuantité 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.
