Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science - Peter Padawitz - Libros - Cambridge University Press - 9780521032513 - 23 de noviembre de 2006
En caso de que portada y título no coincidan, el título será el correcto

Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science

Precio
€ 62,99

Pedido desde almacén remoto

Entrega prevista 5 - 19 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Peter Padawitz
Añadir a tu lista de deseos de iMusic

Aún no valorado

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.


288 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de noviembre de 2006
ISBN13 9780521032513
Editores Cambridge University Press
Páginas 288
Dimensiones 169 × 245 × 17 mm   ·   508 g
Lengua Inglés  

Mas por Peter Padawitz

Mostrar todo

Más del mismo editor