Fortell venner om denne varen:
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
€ 92,49
Bestillingsvarer
Forventes levert 3. - 11. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 27. august 1997 |
| ISBN13 | 9783540633884 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 648 |
| Mål | 156 × 234 × 33 mm · 911 g |
| Språk | Tysk |
| Redaktør | Abadi, Martin |
| Redaktør | Ito, T. |
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1548351685)
![Cover for Martin Abadi · A Theory of Objects - Monographs in Computer Science (Innbunden bok) [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-innbunden-bok&class=scaled&v=1409916773)