Logic for Programmers
A

Logic for Programmers

SQL
formal logic programming testing verification TLA+ SMT Prolog
Author
Hillel Wayne
Publisher
Self-published
Year
2025
Language
English
26
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Principles of Object-Oriented Programming

Principles of Object-Oriented Programming

Not specified

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

Learn Programming with C: An Easy Step-by-Step Self-Practice Book for Learning C

Learn Programming with C: An Easy Step-by-Step Self-Practice Book for Learning 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

The Haskell Road to Logic, Math and Programming

The Haskell Road to Logic, Math and Programming

Kees Doets, Jan van Eijck