Compare webshops (1)
Sponsored links · Some shops pay us a fee
Sort by:
Shops with other sizes
Logic-Driven Software Engineering: Build Reliable with Formal Reasoning, Decision Tables, Property-Based Testing, Design by Contract, State Machines, and AI Coding Agents