FEEDBACK Smiley face
Normal view MARC view ISBD view

Formal semantics of programming languages : an introduction

By: Winskel, Glynn.
Material type: materialTypeLabelBookPublisher: Cambridge, Mass. : MIT Press, ©1993Description: xviii, 361 p. : ill. ; 25 cm.ISBN: 9780262731034.Subject(s): Programming languages (Electronic computers) -- Semantics
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Books Books IIITD
General Stacks
Computer Science and Engineering 005.131 WIN-F (Browse shelf) Available G00680
Total holds: 0
Browsing IIITD Shelves , Shelving location: General Stacks , Collection code: Computer Science and Engineering Close shelf browser
005.13 SET-P Programming languages : 005.13 SHA-T Technical aptitude for interviews: 005.131 RIC-L Logic and language models for computer science 005.131 WIN-F Formal semantics of programming languages : 005.133 ABE-S Structure and interpretation of computer programs 005.133 ALB-C C# 3.0 in a nutshell 005.133 ALB-M Machine learning with Python cookbook :

Includes bibliographical references (p. [353]-356) and index.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: