Items related to Caap '90 (Lecture Notes in Computer Science)
Synopsis
This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.
"synopsis" may belong to another edition of this title.
Search results for Caap '90 (Lecture Notes in Computer Science)
Stock Image
CAAP '90: 15th Colloquium on Trees in Algebra and Programming: Copenhagen, Denmark, May 15-18, 1990 (Lecture Notes in Computer Science 431)
Published by
Springer-Verlag, Berlin, 1990
ISBN 10: 0387525904
ISBN 13: 9780387525907
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 431; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue and faintly bumped spine head and leading corners. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 094489
Quantity: 1 available
Stock Image
Caap '90 (Lecture Notes in Computer Science)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Fine. Seller Inventory # mon0000428161
Quantity: 1 available