The price comes from the shop and can change. Check price, size and delivery on the shop's page before you order.
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
![Tenacious D The Pick Of Destiny DVD [2007]](https://thezenofgaming.co.uk/_media/f/b0/fb0bd4d7-6cca-48dc-afc7-0ea90c7f5da2.webp)
![Merry Madagascar [DVD]](https://thezenofgaming.co.uk/_media/7/20/720d3390-337b-48a2-b377-ea412ec9c76b.webp)
![Duran Duran - Arena [CD]](https://thezenofgaming.co.uk/_media/f/e0/fe0f921e-7985-4b3f-8391-a3170c194234.webp)