Types and programming languages

By:

Material type: Text

TextLanguage: English Publication details: Cambridge MIT Press 2002Description: xxi,623pISBN:

Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata NBHM Collection	005.13 P615 (Browse shelf(Opens below))	Available		122802

Total holds: 0

Previous					No cover image available	No cover image available	No cover image available	Next
Previous	005.1 Y25 Evolutionary computation	005.10151 B285 Algorithmic complexity	005.115 H676 Mathematical aspects of logic programming semantics	005.13 P615 Types and programming languages	005.131 B499 Algebraic specification	005.131 G662 Introduction to HOL	005.131 K93 Temporal logic of programs	Next

There are no comments on this title.

to post a comment.