Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science - K -k Lau - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1 de mayo de 2001
En caso de que portada y título no coincidan, el título será el correcto

K -k Lau
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science 2001 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

188 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de mayo de 2001
ISBN13 9783540421276
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 188
Dimensiones 155 × 235 × 10 mm   ·   281 g
Lengua Alemán  
Editor Lau, Kung-Kiu

Mere med samme udgiver

Ver todo de K -k Lau ( Ej. Paperback Book )