Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
Luisa, Bozzano G.
ISBN 10: 0444880747 ISBN 13: 9780444880741
Published by Elsevier Science, 1992
Used
Hardcover
From
ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since March 24, 2009
This specific item is no longer available.
About this Item
Description:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 5.15. Seller Inventory # G0444880747I3N00
Synopsis:
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Review:
Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Consisting of 37 chapters, written by American and European researchers, it will be ideally suited for study and reference.
Current Awareness Bulletin
S. Bloom
The editor, Jan van Leeuwen, deserves high praise for a job well done.
Zentralblatt für Mathematik
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Models and Semantics (Handbook of ...
Publisher: Elsevier Science
Publication Date: 1992
Binding: Hardcover
Condition: Good
Dust Jacket Condition: No Jacket
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Gut. 1273 Seiten; 9780444880741.3 Gewicht in Gramm: 5. Seller Inventory # 479565
Quantity: 1 available
Stock Image
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume B. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. B Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2750grams, ISBN:9780444880741. Seller Inventory # 4779619
Quantity: 1 available
Stock Image
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume B. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. B Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2300grams, ISBN:0444880747. Seller Inventory # 4779621
Quantity: 1 available
Stock Image
Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # Scanned0444880747
Quantity: 1 available