Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues - Burkhard Wolff - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642357046 - 4 de enero de 2013
En caso de que portada y título no coincidan, el título será el correcto

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues 2013 edition

Precio
Mex$ 1.455
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 31 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Burkhard Wolff
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012.


257 pages, 4 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de enero de 2013
ISBN13 9783642357046
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 249
Dimensiones 155 × 235 × 13 mm   ·   367 g
Lengua Alemán  
Editor Feliachi, Abderrahmane
Editor Gaudel, Marie-Claude
Editor Wolff, Burkhard

Más del mismo editor