Format:
xv, 541 Seiten
,
Illustrationen, Diagramme
ISBN:
9780262048637
Content:
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"--
Note:
Includes bibliographical references and index
,
2309
Additional Edition:
Erscheint auch als Online-Ausgabe, EPUB ISBN 978-0-262-37693-8
Additional Edition:
Erscheint auch als Online-Ausgabe, PDF ISBN 978-0-262-37694-5
Language:
English
Author information:
Esparza, Javier 1964-
Author information:
Blondin, Michael 1968-
Bookmarklink