Vacaciones, verano y la mejor lectura con descuento en miles de libros  Ver más

Enviar a
CUAUHTÉMOC, Ciudad de México
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)
Formato
Libro Físico
Autor
Editorial
Idioma
Inglés
N° páginas
157
Encuadernación
Tapa Blanda
Dimensiones
23.4 x 15.6 x 1.0 cm
Peso
0.25 kg.
ISBN13
9781484292587
Categorías

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)

Boro Sitnikovski (Autor) · Apress · Tapa Blanda

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés) - Sitnikovski, Boro

Libro Nuevo Importado
Envío: 13 a 18 días háb.
$ 1,196.33$ 717.80
-40%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 717.80
¡Envío Gratis!  Llega entre el 19 Ago y el 27 Ago a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)"

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you'll learn type theory for dependent types. Following this, you'll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.What You Will Learn Understand Lambda calculus and dependent types Gain insight into functional programmingWrite mathematical proofs with IdrisWho This Book Is ForProgrammers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes