To view prices and purchase online, please login, or register for an account.
(Hardback)
By: Javier Esparza
ISBN: 9780262048637
Readership/Audience: General
Publication Date: Nov 2023
Publisher: MIT Press Ltd
See more...
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"--
