Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Theoretical Aspects of Computer Software - Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Paperback, 1997 ed.)
Loot Price: R3,287
Discovery Miles 32 870
|
|
Theoretical Aspects of Computer Software - Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1281
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the Third
International Symposium on Theoretical Aspects of Computer
Software, TACS'97, held in Sendai, Japan, in September 1997. The
book presents 20 revised full papers selected from a total of 46
submissions. Also included are seven invited papers by
internationally leading scientists. Among the topics addressed are
action calculi, polymorphisms, type theory, lambda calculi,
refinement, finite transition systems, model checking, process
algebras, logical frameworks, higher-order logics, etc.
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.