Search all categories
Animals & Pet Supplies
Arts & Entertainment
Baby & Toddler
Business & Industrial
Cameras & Optics
Clothing & Accessories
Electronics
Food, Beverages & Tobacco
Furniture
Hardware
Health & Beauty
Home & Garden
Luggage & Bags
Mature
Media
Office Supplies
Software
Sporting Goods
Toys & Games
Vehicles & Parts
All categories
Kaicus
Animals & Pet Supplies
Arts & Entertainment
Baby & Toddler
Business & Industrial
Cameras & Optics
Clothing & Accessories
Electronics
Food, Beverages & Tobacco
Furniture
Hardware
Health & Beauty
Home & Garden
Luggage & Bags
Mature
Media
Office Supplies
Software
Sporting Goods
Toys & Games
Vehicles & Parts
Deals
Store List
Brands
Blog
Deals
Categories
Animals & Pet Supplies
Arts & Entertainment
Baby & Toddler
Business & Industrial
Cameras & Optics
Clothing & Accessories
Electronics
Food, Beverages & Tobacco
Furniture
Hardware
Health & Beauty
Home & Garden
Luggage & Bags
Mature
Media
Office Supplies
Software
Sporting Goods
Toys & Games
Vehicles & Parts
Information
About us
Privacy Policy
Terms and Conditions
Contact
FAQs
Tips for buyers
© 2026,
Kaicus
- Smart Shopping
All rights reserved
Kaicus
William Kaufmann, Inc. Formal Verification
William Kaufmann, Inc. Formal Verification
88.95 GBP
Brand
:
BOOK PANGS
Deals
Characteristics
Sponsored
This site contains affiliate links for which we may receive compensation.
More information
Sponsored
Formal Verification : An Essential Toolkit for Modern VLSI Design
WHSmith
88.95 GBP
88.95 GBP
22-05-2026 01:45:20
Access to the deal
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
64.99 GBP
View Product
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
View Product
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
89.99 GBP
View Product
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
View Product