Formal models of communicating systems: languages, automata, and monadic second-order logic
Material type:
TextPublication details: Berlin ; Springer ; 2006Description: 181ISBN: 3540329226
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 BOL (Browse shelf (Opens below)) | Available | 59582 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
No cover image available |
|
No cover image available | ||
| 681.3.06 BIRD Introduction to functional programming | 681.3.06 BIS Basic computer programming | 681.3.06 BLUM Complexity and Real Computation | 681.3.06 BOL Formal models of communicating systems: languages, automata, and monadic second-order logic | 681.3.06 BOU Unix system | 681.3.06 BRA Advanced data structures | 681.3.06 BRO Smoothing forecasting and prediction of discrete time series |
There are no comments on this title.