Recomienda este artículo a tus amigos:
Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Fo J Tiuryn
Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Fo
J Tiuryn
These are the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes and automata theory.
408 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 15 de marzo de 2000 |
| ISBN13 | 9783540672579 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 408 |
| Dimensiones | 155 × 233 × 21 mm · 566 g |
| Lengua | Alemán |