Dynamic logic

By:

Contributor(s):

Material type: Text

TextSeries: Foundation of ComputingPublication details: MIT Press c2000 CambridgeDescription: xv, 459pISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	General Stacks	004.015113 H222d (Browse shelf(Opens below))	Available		A134719

Total holds: 0

Previous							No cover image available	Next
Previous	004.0151 N917p2 Numerical recipes in FORTRAN the art of scientific computing	004.0151 Sh82c A computational introduction to number theory and algebra	004.015113 Ad95 Advanced topics in bisimulation and coinduction	004.015113 H222d Dynamic logic	004.015118 On1m On-line algorithms proceedings of a DIMACS workshop, February 11-13, 1991	004.015192 K553u Uses of randomness in algorithms and protocols	004.019 Ar751 The art and science of interface and interaction design	Next

There are no comments on this title.

to post a comment.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)