Provably correct systems

Price Brands Filter

£70.69

Compare 8 prices

Amazon-marketplace.co.uk

Free Delivery

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

£9.68

Go to shop

amazon.co.uk

Delivery from £2.99

🤖 Ask ChatGPT

🛍️ What are the most important purchase criteria? 💰 Tell me the best deals! 📋 Create a short summary!

With Pricehunter, you can compare prices online in order to find the offer that most fulfills your requirements "provably correct systems".

Based on your search criteria "provably correct systems", our price search engine found the lowest prices in 20 categories.

Lowest prices found in 2 different web-shops, including Amazon-marketplace.co.uk and amazon.co.uk.
If you would prefer an item from a particular brands, you can find 1 mail order companies for this product. If you have not yet made a decision, you can also filter your favourite producers and choose between 1 manufacturers.
1 different brands offer the product - Springer Verlag, that you were looking for.
Furthermore, other costumers also looked for the following product .
With Pricehunter you are also spoilt for choice for colours. You can select your favourite from 0 shades. The article is most commonly ordered in the colour .