Books on Google Play

google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Play Pass
Personalization in Play
Settings

Privacy Policy • Terms of Service

More by Graham Birtwistle

Icon image Current Trends in Hardware Verification and Automated Theorem Proving

Current Trends in Hardware Verification and Automated Theorem Proving

€98.09€68.66

Icon image VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis

€98.09€68.66

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Children and family

Parent guide

Family sharing

Terms of service

Privacy

About Google Play

Developers

Google Store

All prices include VAT.