THELIB
Правила категорий Правила Войти
  • Книги
  • Базы данных
  • SQL
  • Логика для программистов
Логика для программистов
A

Логика для программистов

SQL
# formal logic# programming# testing# verification# TLA+# SMT# Prolog
Автор
Hillel Wayne
Издательство
Self-published
Год
2025
Язык
Английский
30
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Principles of Object-Oriented Programming

Principles of Object-Oriented Programming

Не указан

Better Python Code: A Guide for Aspiring Experts

Better Python Code: A Guide for Aspiring Experts

David Mertz

Core JavaScript: The Comprehensive Guide

Core JavaScript: The Comprehensive Guide

Cay S. Horstmann

Изучаем программирование на C: простое пошаговое руководство для самостоятельного изучения C

Изучаем программирование на C: простое пошаговое руководство для самостоятельного изучения C

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

How to Python

How to Python

Ben Good

Get Programming with Haskell

Get Programming with Haskell

Will Kurt

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

Ronald T. Kneusel

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

Joel Bryan Juliano

Mastering.Data.Analysis.with.Python

Mastering.Data.Analysis.with.Python

Путь Haskell к логике, математике и программированию

Путь Haskell к логике, математике и программированию

Kees Doets, Jan van Eijck

THELIB

Библиотека IT-книг с переводом на 8 языков.

Каталог

  • Книги
  • Категории
  • Правила
  • Соглашение

Аккаунт

  • Регистрация
  • Войти
  • Поддержка

Инфо

  • thelib.cc
  • v0.1
© 2026 THELIB 8 языков · AI-перевод на лету