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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540672579 - 15 de marzo de 2000
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.129
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de ago. - 14 de sep.
Recibe notificaciones sobre nuevos lanzamientos de J Tiuryn
Añadir a tu lista de deseos de iMusic

Aún no valorado

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  

Más del mismo editor