+612 9045 4394
 
CHECKOUT
Automata, Languages and Programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings - Thomas Ottmann

Automata, Languages and Programming

14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings

By: Thomas Ottmann (Editor)

Paperback

Published: 8th July 1987
Ships: 5 to 9 business days
5 to 9 business days
$181.29
or 4 easy payments of $45.32 with Learn more
if ordered within

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.

Contents: Inductive Inference, Logic and Functional Programming.- Rewrite Systems.- Semantics, Concurrency.- Formal Languages and Automata.- Temporal Logic, Concurrent Systems.- Parallel and Distributed Computing.- Algorithms and Complexity.- Petri Nets, Algebraic Specification.- Complexity.- Author Index.

ISBN: 9783540180883
ISBN-10: 3540180885
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 565
Published: 8th July 1987
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.97
Weight (kg): 0.8