Tell your friends about this item:
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science Martin Abadi
Price
£ 81.49
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 8 - 18
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science
Martin Abadi
These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.
648 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 27, 1997 |
| ISBN13 | 9783540633884 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 648 |
| Dimensions | 156 × 234 × 33 mm · 911 g |
| Language | German |
| Editor | Abadi, Martin |
| Editor | Ito, T. |
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 1996 edition] (2012)](https://imusic.b-cdn.net/images/item/original/453/9781461264453.jpg?martin-abadi-2012-a-theory-of-objects-monographs-in-computer-science-paperback-book&class=scaled&v=1550717659)
![Cover for Martin Abadi · CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/096/9783540283096.jpg?martin-abadi-2005-concur-2005-concurrency-theory-16th-international-conference-concur-2005-san-francisco-ca-usa-august-23-26-2005-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1548351685)
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Hardcover Book) [1st ed. 1996. Corr. 2nd printing 1998 edition] (1996)](https://imusic.b-cdn.net/images/item/original/754/9780387947754.jpg?martin-abadi-1996-a-theory-of-objects-monographs-in-computer-science-hardcover-book&class=scaled&v=1409916773)