Automata, Languages and Programming - 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Paperback, 1998 ed.)

This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998.
The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc..

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1443
Release date:	2001
First published:	1998
Editors:	Kim G. Larsen • Sven Skyum • Glynn Winskel
Dimensions:	235 x 155 x 47mm (L x W x T)
Format:	Paperback
Pages:	936
Edition:	1998 ed.
ISBN-13:	978-3-540-64781-2
Categories:	Books > Computing & IT > Computer programming > General
LSN:	3-540-64781-3
Barcode:	9783540647812

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!