An edition of Constraint-based verification (2006)

Constraint-Based Verification

by , , and

Cover of: Constraint-Based Verification by Jun Yuan, Carl Pixley, Adnan Aziz, Jun Yuan, Carl Pixley, Adnan Aziz
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 29, 2021 | History
Edit
An edition of Constraint-based verification (2006)

Constraint-Based Verification

by , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Pages
266

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Digital electronics, Constraints (Artificial intelligence), Testing, Electronic systems, Design and construction, Systems engineering, Computer engineering, Computer-aided design, Engineering, Artificial intelligence, Electric engineering
Edition Availability
Cover of: Constraint-Based Verification
Constraint-Based Verification
Oct 29, 2010, Springer
paperback
Cover of: Constraint-Based Verification
Constraint-Based Verification
January 13, 2006, Springer
in English
Cover of: Constraint-Based Verification
Constraint-Based Verification
2006, Springer
in English

Add another edition?

Book Details

Classifications

Library of Congress
TA1-2040

The Physical Object

Format
paperback
Number of pages
266

Edition Identifiers

Open Library
OL28050180M
ISBN 10
1441938524
ISBN 13
9781441938527

Work Identifiers

Work ID
OL18735765W

Source records

amazon.com record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 29, 2021 Edited by ImportBot import existing book
May 15, 2020 Created by ImportBot Imported from amazon.com record