Scalable Techniques for Formal Verification by Sandip Ray - Hardback

AED0.00
(0) Write a Review
SKU:
9781441959973
UPC:
9781441959973

Product Description

ISBN: 9781441959973
TITLE: Scalable Techniques for Formal Verification
AUTHOR: Sandip Ray
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 25 May 2010

Other Details

ISBN:
9781441959973
Author:
Sandip Ray
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
Published:25 May 2010
Book Format:
Hardback