formal verification of

(75 offers*)
Filter
Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification
Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification
£29.93
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
£72.12
Compare 7 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
£84.55
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
£25.95
Go to shop
amazon.co.uk
Free Delivery
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
£89.92
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Formal Verification: An Essential Toolkit for Modern VLSI Design
Formal Verification: An Essential Toolkit for Modern VLSI Design
£77.99
Compare 9 prices
Amazon-marketplace.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)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... (Lecture Notes in Computer Science, 15222)
£55.61
Compare 6 prices
amazon.co.uk
Free Delivery
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
£15.95
Compare 2 prices
amazon.co.uk
Free Delivery
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
£5.18
Compare 6 prices
amazon.co.uk
Delivery from £2.99
Formal Verification: An Essential Toolkit for Modern VLSI Design
Formal Verification: An Essential Toolkit for Modern VLSI Design
£125.81
Compare 4 prices
Amazon-marketplace.co.uk
Free Delivery
LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
£9.76
Go to shop
amazon.co.uk
Delivery from £2.99
Fingerprint Pad - Red Waterproof Ink Pad with Strap, Portable and Stain Resistant | Perfect for Notaries, Identification, Legal Documents, Security Checks, Office Verification, Bank Forms,
Fingerprint Pad - Red Waterproof Ink Pad with Strap, Portable and Stain Resistant | Perfect for Notaries, Identification, Legal Documents, Security Checks, Office Verification, Bank Forms,
£3.27
Go to shop
Amazon-marketplace.co.uk
Free Delivery
Blockchain Security Audit Guide with Reentrancy, Overflow, and Formal Verification Techniques: 70 Smart Contract Challenges to Identify Weaknesses
Blockchain Security Audit Guide with Reentrancy, Overflow, and Formal Verification Techniques: 70 Smart Contract Challenges to Identify Weaknesses
£11.93
Go to shop
amazon.co.uk
Free Delivery
Fingerprint Pad - Red Waterproof Ink Pad with Strap, Portable and Stain Resistant | Perfect for Notaries, Identification, Legal Documents, Security Checks, Office Verification, Bank Forms,
Fingerprint Pad - Red Waterproof Ink Pad with Strap, Portable and Stain Resistant | Perfect for Notaries, Identification, Legal Documents, Security Checks, Office Verification, Bank Forms,
£3.24
Go to shop
Amazon-marketplace.co.uk
Free Delivery
IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models
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
Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
£30.86
Go to shop
amazon.co.uk
Free Delivery
Embedding Sequential Circuits for their Polynomial Formal Verification (BestMasters)
Embedding Sequential Circuits for their Polynomial Formal Verification (BestMasters)
£74.99
Go to shop
amazon.co.uk
Free Delivery
COQ PROGRAMMING FOR FORMAL VERIFICATION: Proof assistants theorem proving and verified programming
COQ PROGRAMMING FOR FORMAL VERIFICATION: Proof assistants theorem proving and verified programming
£9.57
Go to shop
amazon.co.uk
Delivery from £2.99
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
£41.88
Compare 9 prices
Amazon-marketplace.co.uk
Free Delivery
SystemVerilog Assertions Handbook Revised 4 th edition 2023: … for Dynamic and Formal Verification
SystemVerilog Assertions Handbook Revised 4 th edition 2023: … for Dynamic and Formal Verification
£79.53
Go to shop
amazon.co.uk
Free Delivery

🤖 Ask ChatGPT

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

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:
Also there for you internationally: