
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... (Lecture Notes in Computer Science, 15219)
£64.99
amazon.co.uk
Free Delivery

Formal Verification of Just-in-Time Compilation (ACM Books)
£60.00
amazon.co.uk
Free Delivery

£76.55
Amazon-marketplace.co.uk
Delivery from £2.80

£93.36
Amazon-marketplace.co.uk
Free Delivery

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
£109.99
amazon.co.uk
Free Delivery

Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)
£57.01
amazon.co.uk
Free Delivery

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... (Lecture Notes in Computer Science, 15222)
£57.51
amazon.co.uk
Free Delivery

£13.51
amazon.co.uk
Free Delivery

£40.05
Amazon-marketplace.co.uk
Free Delivery

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
£59.99
amazon.co.uk
Free Delivery

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... (Lecture Notes in Computer Science, 15223)
£44.99
amazon.co.uk
Free Delivery

Formal Verification of Just-in-Time Compilation (ACM Books)
£48.00
amazon.co.uk
Free Delivery

Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation)
£48.99
amazon.co.uk
Free Delivery

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
£62.00
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

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
£30.86
amazon.co.uk
Free Delivery
![[(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
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).