Logic for applications

Saved in:
Bibliographic Details
Main Authors: Nerode Anil 1932-
Group Author: Shore Richard 1946-
Published: Springer,
Publisher Address: New York
Publication Dates: c1997.
Literature type: Book
Language: English
Edition: 2nd ed.
Series: Graduate texts in computer science
Subjects:
Carrier Form: xiii, 456 p.: ; 24 cm.
ISBN: 0387948937 (hc : alk. paper)
Index Number: TP311
CLC: TP311.11
Call Number: TP311.11/N451/2nd ed./
Contents: Includes bibliographical references and index.