1. Home
  2. Formal Verification: An Essential Toolkit for Modern VLSI Design
  • #

Formal Verification: An Essential Toolkit for Modern VLSI Design

88.95 GBP

Share:
Sponsored

Formal Verification : An Essential Toolkit for Modern VLSI Design

WHSmith
88.95 GBP
26-04-2026 11:37:53

Related products

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part

64.99 GBP
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

89.99 GBP
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

59.99 GBP
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

54.99 GBP
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

74.99 GBP
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and

54.99 GBP