Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 34,31
Convertir monedaCantidad 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.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 36,02
Convertir monedaCantidad 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.
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Original o primera edición
EUR 22,29
Convertir monedaCantidad disponible: 1 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.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 36,02
Convertir monedaCantidad disponible: 20 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.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 47,73
Convertir monedaCantidad 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.
Publicado por Springer (edition 2006), 2006
ISBN 10: 0387244182 ISBN 13: 9780387244181
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 22,30
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 2006. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Publicado por Springer, 2006
Idioma: Inglés
Librería: Books in my Basket, New Delhi, India
EUR 91,34
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. ISBN:9780387244181.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 108,41
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 108,41
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Blue Vase Books, Interlochen, MI, Estados Unidos de America
EUR 24,43
Convertir monedaCantidad 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.
Publicado por Springer US, Springer US, 2010
ISBN 10: 1441937412 ISBN 13: 9781441937414
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 103,02
Convertir monedaCantidad 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.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 101,49
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 108,40
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
EUR 92,01
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 117,26
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 119,92
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 118,96
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 144,92
Convertir monedaCantidad disponible: 20 disponibles
Añadir al carritoHardcover. Condición: 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.
Librería: URW Books Store, CASPER, WY, Estados Unidos de America
EUR 144,84
Convertir monedaCantidad disponible: 20 disponibles
Añadir al carritoHardcover. Condición: 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.
EUR 132,53
Convertir monedaCantidad 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.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 115,83
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 116,08
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 174,21
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 476 pages. 9.00x6.10x1.20 inches. In Stock.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 160,52
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
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
EUR 127,35
Convertir monedaCantidad 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.
Publicado por Springer-Verlag New York Inc., 2006
ISBN 10: 0387244182 ISBN 13: 9780387244181
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 127,35
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 915.