IMSc Library catalog › Details for: Handbook of logic and proof techniques for computer science

Normal view MARC view ISBD view

Handbook of logic and proof techniques for computer science

TextPublication details: Boston ; Birkhauser, New York : Springer, ; 2002Description: xix, 245 pISBN: 081764220X (alk. paper)Subject(s): Computers. Electronic data processing

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3(02) KRA (Browse shelf (Opens below))		Available		53172

Previous	No cover image available	No cover image available	No cover image available		No cover image available			Next
Previous	681.3(02) GRA Handbook of Combinatorics. Vols. I & II	681.3(02) HOW Pocket dictionary of computer terms	681.3(02) HUS Computer handbook	681.3(02) KRA Handbook of logic and proof techniques for computer science	681.3(02) LEE Handbook of theoretical computer science, B : Formal models and semantics	681.3(02) RAJ Handbook of Randomized Computing Vol.II: Combinatorial Optimization	681.3(02) RAJ Handbook of Randomized Computing Vol.II: Combinatorial Optimization	Next

There are no comments on this title.

to post a comment.