Umfang:
xv, 541 Seiten
,
Illustrationen, Diagramme
ISBN:
9780262048637
Inhalt:
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"--
Anmerkung:
Includes bibliographical references and index
Weitere Ausg.:
Erscheint auch als Online-Ausgabe, EPUB ISBN 978-0-262-37693-8
Weitere Ausg.:
Erscheint auch als Online-Ausgabe, PDF ISBN 978-0-262-37694-5
Sprache:
Englisch
Mehr zum Autor:
Esparza, Javier 1964-
Mehr zum Autor:
Blondin, Michael 1968-
Bookmarklink