Franklin

Handbook of logic and proof techniques for computer science / Steven G. Krantz.

Author/Creator:
Krantz, Steven G. (Steven George), 1951-
Publication:
Boston : Birkhauser ; New York : Springer, 2002.
Format/Description:
Book
xix, 245 p. ; 24 cm.
Subjects:
Computers.
Electronic data processing.
Notes:
Includes bibliographical references (p. 231-236) and index.
ISBN:
081764220X (alk. paper)
OCLC:
47705720
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy