Cover Image

Handbook of logic and proof techniques for computer science /

Show other versions (1)
Bibliographic Details
Main Author: Krantz, Steven G. (Steven George), 1951-
Format: Book
Language:English
Published: Boston : New York : Birkhauser ; Springer, 2002.
Subjects:
Computers.
Electronic data processing.
Description
Physical Description:xix, 245 pages ; 24 cm.
Bibliography:Includes bibliographical references (pages 231-236) and index.
ISBN:081764220X (alk. paper)
376434220X