Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science - Paulson, Lawrence C. (University of Cambridge) - Libros - Cambridge University Press - 9780521395601 - 26 de julio de 1990
En caso de que portada y título no coincidan, el título será el correcto

Paulson, Lawrence C. (University of Cambridge)
Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science

Precio
$ 79,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 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

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

320 pages, bibliography, index

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de julio de 1990
ISBN13 9780521395601
Editores Cambridge University Press
Páginas 320
Dimensiones 187 × 247 × 19 mm   ·   574 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. De
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Paulson, Lawrence C. (University of Cambridge) ( Ej. Paperback Book )