Theoretical Computer Science : Formal Models and Semantics
Van Leeuwen, Jan
Sold by Better World Books, Mishawaka, IN, U.S.A.
AbeBooks Seller since August 3, 2006
Used - Hardcover
Condition: Used - Very good
Quantity: 1 available
Add to basketSold by Better World Books, Mishawaka, IN, U.S.A.
AbeBooks Seller since August 3, 2006
Condition: Used - Very good
Quantity: 1 available
Add to basketFormer library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Seller Inventory # 11393611-6
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.
"About this title" may belong to another edition of this title.
Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.
If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...
More InformationPlease allow 1-2 business days for order fulfillment.