Computation engineering : applied automata theory and logic

The Resource Computation engineering : applied automata theory and logic

Label

Computation engineering : applied automata theory and logic

Title remainder

applied automata theory and logic

Statement of responsibility

Ganesh Gopalakrishnan

Language

eng

Summary

"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 Cambridge Computer Laboratory "This is a valuable book in my opinion. I learned a good deal from reading it, and encountered many attractive topic treatments and fresh insights, throughout. I certainly plan to add it to my reference shelf and recommend it to my students and colleagues. It covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented. The book is well organized for coordinated use in several courses, ranging from core udnergraduate to senior and graduate level topics."--Professor Steven D. Johnson, Indiana University

Cataloging source

GW5XE

Dewey number

004.01/51

Illustrations

illustrations

Index

index present

Language note

English

LC call number

QA76.9.M35

LC item number

G67 2006eb

Literary form

non fiction

Nature of contents

dictionaries
bibliography

Context

Context of Computation engineering : applied automata theory and logic

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.

Context

Work of