Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues - Luke Ong - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642216909 - 23 de mayo de 2011
En caso de que portada y título no coincidan, el título será el correcto

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 31 de jul.
Añadir a tu lista de deseos de iMusic

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.


257 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de mayo de 2011
ISBN13 9783642216909
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 245
Dimensiones 155 × 235 × 15 mm   ·   408 g
Lengua Francés  
Editor Ong, Luke

Mas por Luke Ong

Mostrar todo

Mere med samme udgiver