0
Your cart

Your cart is empty

Books > Computing & IT > Computer software packages

Buy Now

Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Paperback, 2001 ed.) Loot Price: R1,730
Discovery Miles 17 300
Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001....

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

Naoki Kobayashi, Benjamin C Pierce

Series: Lecture Notes in Computer Science, 2215

 (sign in to rate)
Loot Price R1,730 Discovery Miles 17 300 | Repayment Terms: R162 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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
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!

Partners