IIITB Library catalog

Normal view MARC view ISBD view

Huttel, H

Transitions and trees: An introduction to structural operational semantics - Cambridge Cambridge University Press 2010 - xvii, 272p.

ISBN: Cambridge

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha