THELIB
分类规则 规则 登录
  • 图书
  • 数据库
  • SQL
  • 程序员逻辑
程序员逻辑
A

程序员逻辑

SQL
# formal logic# programming# testing# verification# TLA+# SMT# Prolog
作者
Hillel Wayne
出版社
Self-published
年份
2025
语言
英语
32
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

面向对象编程原理

面向对象编程原理

未指定

更优Python代码:面向未来专家的指南

更优Python代码:面向未来专家的指南

David Mertz

核心JavaScript:全面指南

核心JavaScript:全面指南

Cay S. Horstmann

学习C语言编程:轻松逐步自学C语言练习册

学习C语言编程:轻松逐步自学C语言练习册

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

如何学习Python

如何学习Python

Ben Good

Haskell 编程入门

Haskell 编程入门

Will Kurt

编程数学:掌握数学,编写更优代码

编程数学:掌握数学,编写更优代码

Ronald T. Kneusel

从Ruby到Golang:Ruby程序员学习Go指南

从Ruby到Golang:Ruby程序员学习Go指南

Joel Bryan Juliano

精通Python数据分析

精通Python数据分析

Haskell之路:逻辑、数学与编程

Haskell之路:逻辑、数学与编程

Kees Doets, Jan van Eijck

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译