Recomienda este artículo a tus amigos:
Theoretical Aspects of Computer Software: International Symposium Tacs '94, Sendai, Japan, April 19-22, 1994 - Proceedings - Lecture Notes in Computer Science
Theoretical Aspects of Computer Software: International Symposium Tacs '94, Sendai, Japan, April 19-22, 1994 - Proceedings - Lecture Notes in Computer Science
This volume contains the proceedings of the 2nd International Symposium on Theoretical Aspects of Computer Software, held at Tohoku University, Japan, in April 1994. It covers such topics as automated deduction, functional programming, concurrency, linear logic and much more.
898 pages, bibliography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de marzo de 1994 |
| ISBN13 | 9783540578871 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 898 |
| Dimensiones | 150 × 220 × 10 mm · 1,25 kg |
| Lengua | Alemán |
| Editor | Hagiya, Masami |
| Editor | Mitchell, John C. |