| 000 | 01688nam a2200289Ia 4500 | ||
|---|---|---|---|
| 999 |
_c6230 _d6230 |
||
| 020 | _a9780262720205 | ||
| 020 | _a0444880712 | ||
| 020 | _a0333880749 | ||
| 020 | _a0262220407 | ||
| 020 | _a0262720205 | ||
| 020 | _a0262220385 | ||
| 020 | _a0262720140 | ||
| 020 | _a0262220393 | ||
| 020 | _a0262720159 | ||
| 022 | _a9780262720151 | ||
| 050 |
_aQA76 _b.H279 |
||
| 100 | _aJ van Leeuwen | ||
| 245 | 0 | 0 |
_aHandbook of theoretical computer science / _cedited by Jan van Leeuwen. |
| 250 | _aFirst MIT Press paperback edition. | ||
| 260 |
_aAmsterdam ; _a New York : ; _b Cambridge, _b Elsevier _bMass _bMIT Press, _c1990. |
||
| 300 |
_a2 volumes : _billustrations ; _c25 cm. |
||
| 500 | _aIncludes bibliographical references and indexes | ||
| 505 | _aCHAPTER 1. Finite Automata CHAPTER 2. Context - Free Languages CHAPTER 3. Formal Languages and Power Series CHAPTER 4. Automata on infinite objects CHAPTER 5. Graph rewriting: An algebraic and logic approach CHAPTER 6. Rewrite systems CHAPTER 7. Functional programming and lambda calculus CHAPTER 8. Type systems for programming languages CHAPTER 9. Recursive Applicative program schemes CHAPTER 10. Logic programming CHAPTER 11. Denominational semantics CHAPTER 12. Semantic domains CHAPTER 13. Algebraic specification CHAPTER 14. Logics of programs CHAPTER 15. Methods and logics for proving programs CHAPTER 16. Temporal and modal logic CHAPTER 17. elements of relational data theory CHAPTER 18. Distributed computing: Models and methods CHAPTER 19. Operational and algebraic semantics of concurrent processes | ||
| 650 | 0 | _aComputer science. | |
| 700 | 1 | _aLeeuwen, J. van | |
| 942 | _cBK | ||