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.

Bestandsnummer des Verk�ufers 0387244182-8-1

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Computation Engineering: Applied Automata Theory and Logic
Verlag: Springer (edition 2006)
Erscheinungsjahr: 2006
Sprache: Englisch
ISBN-10: 0387244182
ISBN-13: 9780387244181
Einband: Hardcover
Auflage: 2006.
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

Although it is critical in today's world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

Von der hinteren Coverseite

"This classroom-tested undergraduate textbook is unique in presenting logic and automata theory as a single subject...I highly recommend this book to you as the best route I know into the concepts underlying modern industrial formal verification." - Dr. Michael J.C. Gordon FRS, The University of Cambridge Computer Laboratory

"This is a valuable book in my opinion. I learned a good deal from reading it, and encountered many attractive topic treatments and fresh insights, throughout. I certainly plan to add it to my reference shelf and recommend it to my students and colleagues. It covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented. The book is well organized for coordinated use in several courses, ranging from core udnergraduate to senior and graduate level topics." - Professor Steven D. Johnson, Indiana University

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

BooksRun helps to save money on textbooks. We are committed to providing each customer with the highest standard of customer service. Please pay close attention to the description of the book and its condition you are ordering. If you have any questions or issues, please make sure to contact us first so we could resolve them. All orders are shipped on the same or the next business day. It usually takes 1 to 5 business days to receive your item if you choose expedited shipping. All orders submitted are eligible for a return within 30 days after the delivery. Thanks for shopping with us!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

AZ Texts LLC
228 Park Ave S Suite 38827, New York, NY, 10003, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

30 days hassle-free returns guaranteed!

Widerrufsbelehrung

Versandbedingungen

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	3 bis 8�Werktage	3 bis 6�Werktage
Erster Artikel	EUR 0.00	EUR 3.37

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.