Importe total (1 artículo artículos):
Destino del pedido:
computation engineering applied automata de gopalakrishnan ganesh (31 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (31)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (25)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (2)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (9)
- No impresión bajo demanda (29)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Computation Engineering : Applied Automata Theory and Logic
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 22,45
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: 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
Publicado por Springer (edition 2006), 2006
ISBN 10: 0387244182 ISBN 13: 9780387244181
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,45
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 2006. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: Blue Vase Books, Interlochen, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 24,60
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 39,61
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 12 disponibles
Añadir al carritoCondición: 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
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 39,61
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: 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
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 41,35
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 44,65
Gratis gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 12 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 54,28
Gratis gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
COMPUTATION ENGINEERING: APPLIED AUTOMATA THEORY AND LOGIC
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,03
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 66,97
Gratis gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 77,48
Gratis gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 92,67
EUR 5,99 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
-
Computation Engineering: Applied Automata Theory And Logic
Publicado por Springer, 2006
Idioma: Inglés
Librería: Books in my Basket, New Delhi, India
Calificación del vendedor: 5 de 5 estrellas
EUR 91,99
EUR 16,00 gastos de envío desde India a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. ISBN:9780387244181.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 102,03
EUR 13,67 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 102,03
EUR 13,67 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Computation Engineering : Applied Automata Theory And Logic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 101,83
EUR 17,12 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computation Engineering : Applied Automata Theory And Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,82
EUR 2,28 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computation Engineering : Applied Automata Theory And Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 117,19
EUR 2,28 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Computation Engineering : Applied Automata Theory and Logic
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 102,50
EUR 17,68 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,65
EUR 3,44 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,91
EUR 3,44 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computation Engineering : Applied Automata Theory And Logic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,92
EUR 17,12 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Computation Engineering | Applied Automata Theory and Logic
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 86,95
EUR 70,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Computation Engineering | Applied Automata Theory and Logic | Ganesh Gopalakrishnan | Taschenbuch | xxxvi | Englisch | 2010 | Springer US | EAN 9781441937414 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Edición internacionalCOMPUTATION ENGINEERING: APPLIED AUTOMATA THEORY AND LOGIC
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 146,30
EUR 14,81 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 20 disponibles
Añadir al carritoHardcover. Condición: New. Brand New! Fast Delivery This is an International 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-10 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
Publicado por Springer US, Springer US, 2010
ISBN 10: 1441937412 ISBN 13: 9781441937414
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 103,02
EUR 63,81 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 156,33
EUR 28,53 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Computation Engineering: Applied Automata Theory and Logic
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 132,53
EUR 48,99 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: 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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 174,40
EUR 14,27 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 476 pages. 9.00x6.10x1.20 inches. In Stock.
-
Computation Engineering : Applied Automata Theory and Logic
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 183,17
EUR 64,88 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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
Publicado por Springer-Verlag New York Inc., 2010
ISBN 10: 1441937412 ISBN 13: 9781441937414
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 125,26
EUR 20,66 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 735.
