Buy Used and New JunYuan Books

Constraint-Based Verification

by Jun Yuan,Carl Pixley,Adnan Aziz

ISBN 13: 9780387259475

Format: Hardcover (253 pages)
Publisher: Springer
Published: 24 Feb 2006

Save for later

Constraint-Based Verification

by Jun Yuan,Carl Pixley,Adnan Aziz

ISBN 13: 9781441938527

Format: Paperback (265 pages)
Publisher: Springer
Published: 12 Feb 2010
Other Format: Hardcover

Save for later