Vinkkaa tuotetta kavereillesi:
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science Martin Abadi
Hinta
CA$ 165,54
Tilattu etävarastosta
Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 27. elokuuta 1997 |
| ISBN13 | 9783540633884 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 648 |
| Mitta | 156 × 234 × 33 mm · 911 g |
| Kieli | Saksa |
| Toimittaja | Abadi, Martin |
| Toimittaja | Ito, T. |
Näytä kaikki
Lisää tuotteita Martin Abadi
![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)
Katso kaikki joka sisältää Martin Abadi ( Esim. Paperback Book Ja Hardcover Book )