Fortæl dine venner om denne vare:
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science Martin Abadi
Pris
HK$ 1.037,50
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 12. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 27. august 1997 |
| ISBN13 | 9783540633884 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 648 |
| Mål | 156 × 234 × 33 mm · 911 g |
| Sprog | Tysk |
| Klipper/redaktør | Abadi, Martin |
| Klipper/redaktør | Ito, T. |
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Paperback Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1548351685)
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Hardcover bog) [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-bog&class=scaled&v=1409916773)