Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.35 BOL (Browse shelf) | Available | 014592 |
511.33 TIT Theory of functions | 511.34 GRA Finite model theory and its applications | 511.35 BAR Lambda calculus with types | 511.35 BOL Formal models of communicating systems : languages, automata and monadic second-order logic | 511.35 CAV Sequential logic : analysis and synthesis | 511.35 DIA Petri nets : fundamental models, verification, and applications | 511.35 GOD Introducing the theory of computation |
There are no comments for this item.