This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.