Handbook of theoretical computer science / (Record no. 6230)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01688nam a2200289Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262720205 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0444880712 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0333880749 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262220407 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262720205 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262220385 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262720140 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262220393 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0262720159 |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| ISSN | 9780262720151 |
| 050 ## - CALL NUMBER | |
| Classification number | QA76 |
| Item number | .H279 |
| 100 ## - AUTHOR | |
| Personal name | J van Leeuwen |
| 245 00 - TITLE | |
| Title | Handbook of theoretical computer science / |
| Statement of responsibility, etc | edited by Jan van Leeuwen. |
| 250 ## - EDITION | |
| Edition statement | First MIT Press paperback edition. |
| 260 ## - PUBLICATION INFORMATION | |
| Place of publication | Amsterdam ; |
| -- | New York : ; |
| Name of publisher | Cambridge, |
| -- | Elsevier |
| -- | Mass |
| -- | MIT Press, |
| Year of publication | 1990. |
| 300 ## - DESCRIPTION | |
| Number of Pages | 2 volumes : |
| Other physical details | illustrations ; |
| Dimensions | 25 cm. |
| 500 ## - NOTES | |
| General note | Includes bibliographical references and indexes |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Table of Content | CHAPTER 1. Finite Automata <br/>CHAPTER 2. Context - Free Languages <br/>CHAPTER 3. Formal Languages and Power Series <br/>CHAPTER 4. Automata on infinite objects <br/>CHAPTER 5. Graph rewriting: An algebraic and logic approach <br/>CHAPTER 6. Rewrite systems <br/>CHAPTER 7. Functional programming and lambda calculus <br/>CHAPTER 8. Type systems for programming languages <br/>CHAPTER 9. Recursive Applicative program schemes <br/>CHAPTER 10. Logic programming<br/>CHAPTER 11. Denominational semantics <br/>CHAPTER 12. Semantic domains <br/>CHAPTER 13. Algebraic specification <br/>CHAPTER 14. Logics of programs <br/>CHAPTER 15. Methods and logics for proving programs <br/>CHAPTER 16. Temporal and modal logic <br/>CHAPTER 17. elements of relational data theory <br/>CHAPTER 18. Distributed computing: Models and methods <br/>CHAPTER 19. Operational and algebraic semantics of concurrent processes |
| 650 #0 - SUBJECTS | |
| Topical Term | Computer science. |
| 700 1# - OTHER AUTHORS | |
| Personal name | Leeuwen, J. van |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Collection code | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|---|---|
| Reference | Methodist University Library Main | Methodist University Library Main | General Stacks | 13/10/2009 | QA76 .H279 | 35344 | Books |