Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Paperback, 2001 ed.)

This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001. The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, lambda calculi, model checking and program logic.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2215
Release date:	2001
First published:	2001
Editors:	Naoki Kobayashi • Benjamin C Pierce
Dimensions:	233 x 155 x 30mm (L x W x T)
Format:	Paperback
Pages:	565
Edition:	2001 ed.
ISBN-13:	978-3-540-42736-0
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer software packages > General Books > Computing & IT > Computer programming > Programming languages > General Promotions > Women In Power > Books
LSN:	3-540-42736-8
Barcode:	9783540427360

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!