I will be using this book for:

Logic-Driven Software Engineering: Build Reliable Software with Formal Reasoning, Decision Tables, Property-Based Testing, Design by Contract, State Machines, and AI Coding Agents

by Gem Iroko

Programming artificial intelligence Software Engineering Software Testing

0.0 out of 5 stars (0 ratings)

View on Amazon Trade it in for cash!

ASIN B0HDSGD87C Views 19 Year 2026 Format Kindle Edition Product Group Digital Ebook Purchas Pages 864 Adult No Created September 04, 2026 Updated September 26, 2026

Reviews

No reviews yet. Be the first to review this book!

I will be using this book for:

Logic-Driven Software Engineering: Build Reliable Software with Formal Reasoning, Decision Tables, Property-Based Testing, Design by Contract, State Machines, and AI Coding Agents

Reviews

Write a Review

I will be using this book for: