Lógica para programadores
A

Lógica para programadores

SQL
formal logic programming testing verification TLA+ SMT Prolog
Autor
Hillel Wayne
Editorial
Self-published
Año
2025
Idioma
Inglés
28
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Principios de Programación Orientada a Objetos

Principios de Programación Orientada a Objetos

No especificado

Mejor Código Python: Una Guía para Aspirantes a Expertos

Mejor Código Python: Una Guía para Aspirantes a Expertos

David Mertz

JavaScript Esencial: La Guía Integral

JavaScript Esencial: La Guía Integral

Cay S. Horstmann

Aprende programación con C: un libro fácil paso a paso de autoaprendizaje para aprender C

Aprende programación con C: un libro fácil paso a paso de autoaprendizaje para aprender C

Sazzad M.S. Imran, Ph.D., Md Atiqur Rahman Ahad, Ph.D.

Cómo usar Python

Cómo usar Python

Ben Good

Programar con Haskell

Programar con Haskell

Will Kurt

MATEMÁTICAS PARA PROGRAMACIÓN: Aprende las Matemáticas, Escribe Mejor Código

MATEMÁTICAS PARA PROGRAMACIÓN: Aprende las Matemáticas, Escribe Mejor Código

Ronald T. Kneusel

De Ruby a Golang: Guía para Programadores Ruby que Aprenden Go

De Ruby a Golang: Guía para Programadores Ruby que Aprenden Go

Joel Bryan Juliano

Dominando.el.Análisis.de.Datos.con.Python

Dominando.el.Análisis.de.Datos.con.Python

El camino de Haskell hacia la lógica, las matemáticas y la programación

El camino de Haskell hacia la lógica, las matemáticas y la programación

Kees Doets, Jan van Eijck