Logic for applications /

Saved in:
Bibliographic Details
Main Author: Nerode, Anil
Other Authors: Shore, Richard A.
Format: Book
Language:English
Published: New york : Springer-Verlag, 1997.
Edition:2nd ed.
Series:Graduate texts in computer science
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:456 P. ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387948937