Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Libros - Springer International Publishing AG - 9783319105413 - 15 de diciembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Precio
€ 70,99

Pedido desde almacén remoto

Entrega prevista 13 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

También disponible como:

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

298 pages, 86 black & white illustrations, 1 colour illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de diciembre de 2014
ISBN13 9783319105413
Editores Springer International Publishing AG
Páginas 298
Dimensiones 155 × 235 × 19 mm   ·   616 g
Lengua Inglés  

Mas por Tobias Nipkow

Mostrar todo

Ver todo de Tobias Nipkow ( Ej. Paperback Book y Hardcover Book )