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
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 de jul.
Añadir a tu lista de deseos de iMusic

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  

Mere med samme udgiver