Algebraic semantics of imperative programs
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library | 005.131 GOG(ALG) (Browse shelf(Opens below)) | 1 | Available | 8822 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
No cover image available |
![]() |
![]() |
![]() |
![]() |
||
005.131 GHO(INT) Introduction to theory of automata, formal languages, and computation | 005.131 GOD(INT) Introducing the theory of computation | 005.131 GOD(INT) Introducing the theory of computation | 005.131 GOG(ALG) Algebraic semantics of imperative programs | 005.131 GOG(ALG) Algebraic semantics of imperative programs | 005.131 HIG(GRA) Grammatical inference: learning automata and grammars | 005.131 HOP(INT) Introduction to automata theory, languages, and computation |
MD/1/0529/2009-10/23-09-09
There are no comments on this title.