panda
Computation Engineering:
Mathematical Logic and Formal Languages
Computer engineering
Systems engineering
Information theory
Machine Theory
Mathématiques
Informatique
Computer science
Mathematics
"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 Cam…
Read online
Reader not loading? Open it on Archive.org instead.
