IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Krantz, Steven G., (Steven George), 1951-

Handbook of logic and proof techniques for computer science - Boston Birkhauser, New York : Springer, 2002. - xix, 245 p.

ISBN: 081764220X (alk. paper)

Subjects--Topical Terms:
Computers.
Electronic data processing.

Universal Decimal Class. No.: 681.3(02) KRA

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)