£79.74
Amazon-marketplace.co.uk
Free Delivery
£78.48
Amazon-marketplace.co.uk
Free Delivery
£19.53
amazon.co.uk
Free Delivery
£40.05
Amazon-marketplace.co.uk
Free Delivery
£67.00
amazon.co.uk
Free Delivery
£89.89
Amazon-marketplace.co.uk
Delivery from £2.80
![[(Computer-aided Verification : A Special Issue of Formal Methods in System Design on Computer-aided Verification)] [Edited by Robert Kurshan] published on (October, 2012)](https://cdn.pricehunter.co.uk/offer/en/computer-aided-verification-a-special-issue-of-formal-methods-in-system-design-on-computer-aided-ver-200t180a817e877ec22ccc0f9030ea94b92fd14735a3c91.jpg)
[(Computer-aided Verification : A Special Issue of Formal Methods in System Design on Computer-aided Verification)] [Edited by Robert Kurshan] published on (October, 2012)
£295.93
Amazon-marketplace.co.uk
Delivery from £7.98
Formal Verification of Just-in-Time Compilation (ACM Books)
£60.00
amazon.co.uk
Free Delivery
Formal Verification of Just-in-Time Compilation (ACM Books)
£44.00
amazon.co.uk
Free Delivery
Advanced Mathematical Programming in OCaml: Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3): 5 (Mastering OCaml 2025 Roadmap)
£17.76
amazon.co.uk
Free Delivery
Advanced Functional Programming: Monads, Continuations, Lazy Evaluation, Type Systems, and Formal Verification in Racket: 3 (Master the Art of Lisp, ... to Advanced Language Engineering)
£17.80
amazon.co.uk
Free Delivery
Advanced Functional Programming: Monads, Continuations, Lazy Evaluation, Type Systems, and Formal Verification in Racket (Master the Art of Lisp, ... to Advanced Language Engineering)
£22.25
amazon.co.uk
Free Delivery
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
£15.95
amazon.co.uk
Free Delivery
SystemVerilog Assertions Handbook Revised 4 th edition 2023: … for Dynamic and Formal Verification
£79.53
amazon.co.uk
Free Delivery
Advanced Mathematical Programming in OCaml: Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3) (Mastering OCaml 2025 Roadmap)
£22.20
amazon.co.uk
Free Delivery
Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
£30.86
amazon.co.uk
Free Delivery
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
£25.95
amazon.co.uk
Free Delivery
Scala for Advanced Domains: ML (Regression, Neural Networks), Formal Verification (Property Testing, Theorem Proving) (The Scala Mastery Series 2025)
£17.67
amazon.co.uk
Free Delivery
Scala for Advanced Domains: ML (Regression, Neural Networks), Formal Verification (Property Testing, Theorem Proving) (The Scala Mastery Series 2025)
£22.00
amazon.co.uk
Free Delivery
Informations about "formal verification of"
With Pricehunter, you can compare buy prices online in order to find the offer that most fulfills your requirements "formal verification of".
Based on your search criteria "formal verification of", our price search engine found the lowest prices in 12 categories.
About "formal verification of"
- Lowest prices found in 2 different e-shops, including Amazon-marketplace.co.uk and amazon.co.uk.
- If you would prefer an item from a particular manufacturers, you can find 1 e-shops 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 manufacturers 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 colours. The article is most commonly ordered in the colour .
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).