IMSc Library catalog › Details for: Fundamental proof methods in Computer Science

Normal view MARC view ISBD view

Fundamental proof methods in Computer Science

TextPublication details: Cambridge The MIT Press 2017Description: 941pISBN: 9780262035538Subject(s): Theoretical Computer Science | Computer Science

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 ARK (Browse shelf (Opens below))		Available		73033

Previous	No cover image available	No cover image available						Next
Previous	681.3 ARB Algebraic theory of machines languages and semigroups	681.3 ARB Basis for theoretical computer science	681.3 ARGE Modern Software Tools for Scientific Computing	681.3 ARK Fundamental proof methods in Computer Science	681.3 ARM C++ for Financial Mathematics	681.3 ARN Finite Transition Systems : Semantics of Communicating Systems	681.3 ARO Computational complexity a modern approach	Next

There are no comments on this title.

to post a comment.