THELIB
Regras da Categoria Regras Entrar
  • Livros
  • Bancos de dados
  • SQL
  • Lógica para programadores
Lógica para programadores
A

Lógica para programadores

SQL
# formal logic# programming# testing# verification# TLA+# SMT# Prolog
Autor
Hillel Wayne
Editora
Self-published
Ano
2025
Idioma
Inglês
29
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Princípios da Programação Orientada a Objetos

Princípios da Programação Orientada a Objetos

Não especificado

Código Python Melhor: Um Guia para Aspirantes a Especialistas

Código Python Melhor: Um Guia para Aspirantes a Especialistas

David Mertz

Core JavaScript: O Guia Abrangente

Core JavaScript: O Guia Abrangente

Cay S. Horstmann

Aprenda programação com C: um livro fácil passo a passo de autoaprendizagem para aprender C

Aprenda programação com C: um livro fácil passo a passo de autoaprendizagem para aprender C

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

Como Python

Como Python

Ben Good

Programando com Haskell

Programando com Haskell

Will Kurt

MATEMÁTICA PARA PROGRAMAÇÃO: Aprenda a Matemática, Escreva Código Melhor

MATEMÁTICA PARA PROGRAMAÇÃO: Aprenda a Matemática, Escreva Código Melhor

Ronald T. Kneusel

Do Ruby ao Golang: Um Guia para Programadores Ruby Aprenderem Go

Do Ruby ao Golang: Um Guia para Programadores Ruby Aprenderem Go

Joel Bryan Juliano

Dominando.Análise.de.Dados.com.Python

Dominando.Análise.de.Dados.com.Python

O caminho de Haskell para a lógica, matemática e programação

O caminho de Haskell para a lógica, matemática e programação

Kees Doets, Jan van Eijck

THELIB

Biblioteca de livros de TI com tradução para 8 idiomas.

Catálogo

  • Livros
  • Categorias
  • Regras
  • Acordo

Conta

  • Registrar
  • Entrar
  • Suporte

Informações

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Tradução por IA em tempo real