Computation Engineering Applied Automata Theory and Logic /

Computation Engineering Applied Automata Theory and Logic /

Show other versions (1)

"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 Univers...

Full description

Bibliographic Details
Main Author: Gopalakrishnan, Ganesh (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2006.
Subjects:
Computer science.
Computers.
Mathematical logic.
Electrical engineering.
Electronic circuits.
Computer Science.
Theory of Computation.
Circuits and Systems.
Mathematical Logic and Formal Languages.
Electrical Engineering.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items