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. Proceedings (Paperback, 2001 ed.)
Series: Lecture Notes in Computer Science, 2215
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.