Transitions and trees: An introduction to structural operational semantics
By: Huttel, H.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.131 HUT (Browse shelf) | Available | 512130 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
005.131 CLA Reflection in rewriting logic: Metalogical foundations and metaprogramming applications | 005.131 DER A grammatical view of logic programming | 005.131 GOG Algebraic semantics of imperative programs | 005.131 HUT Transitions and trees: An introduction to structural operational semantics | 005.131 JON Computability and complexity: From a programming perspective | 005.131 LIN (CR) An introduction to formal languages and automata | 005.131 LIN (CR) An introduction to formal languages and automata |
There are no comments for this item.