Normal view MARC view ISBD view

Transitions and trees: An introduction to structural operational semantics

Material type: materialTypeLabel

BookPublisher: Cambridge Cambridge University Press 2010Description: xvii, 272p.ISBN: Cambridge.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		005.131 HUT (Browse shelf)	Available		512130

There are no comments for this item.

IIITB Library