IOU Library

Constraint-based Verification

An electronic copy of book is available for Library Members

Further Details Info

Title	Constraint-based Verification
Call No
Authors	JUN YUAN , CARL PIXLEY
Subjects

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher:
Publishing Year: 2006
ISBN:
Pages:

245: $a: Constraint-based Verification
245: $b:
082: $a:
100: $a: JUN YUAN, CARL PIXLEY
650: $a:
250: $a:
440: $v:
250: $b:
250: $c: 2006
020: $a:
300: $a:

Welcome to IOU Digital Library

Constraint-based Verification

Further Details Info

Fresh Arrivals