Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
Language: English
Published by Mit Pr, 1990
- Hardcover
- Used
Seller: Calliopebooks, Potomac, MD, U.S.A.Calliopebooks
AbeBooks seller since March 18, 2013
Condition: Used - Very good
US$ 63.00
Quantity: 1 available
Add to basketItem description from seller
1990 MIT Press/Elsevier Pub. Prev owner name printed inside front cover otherwise pages are all clean and book appears unread. Cover is clean and strong with light shelf rub at front edge of back cover.
Seller Inventory # SKU1035548
- Title
- Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
- Author
- van Leeuwen, Jan
- Publisher
- Mit Pr
- Publication year
- 1990
- Condition
- Very Good
- Binding
- hardcover
- Language
- English
- ISBN 10
- 0262220393
- ISBN 13
- 9780262220392
- Item weight
- 79 ounces
- Dimensions
- 7x2x10
The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing.The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
Calliopebooks
Potomac, MD, U.S.A.
AbeBooks seller since March 18, 2013
Shipping rates within U.S.A.
| Item | 2 to 10 business days | 2 to 6 business days |
|---|---|---|
| First item | US$ 4.95 | US$ 10.00 |
Payment methods
- Bank Draft
- Bank Wire Transfer
- Cash
- Check
- Money Order
- Paypal
Seller's business information
Calliopebooks
MD, U.S.A.
Terms of sale
We accept payment by Visa and Mastercard (through Abebooks)and Paypal. All books
are guaranteed to be in the condition described. Purchases may be returned within
thirty days of receipt in the same condition as received. Returns may be for any
reason but prior notice is requested.
Shipping terms
default