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
Read

My Reading Lists:

Create a new list
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
February 25, 2022 | History
Edit
An edition of Constraint-based verification (2006)

Constraint-Based Verification

by , , and

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

Publish Date
Publisher
Springer
Language
English
Pages
253

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
2006, Springer
in English
Cover of: Constraint-Based Verification
Constraint-Based Verification
January 13, 2006, Springer
in English

Add another edition?

Book Details

Classifications

Library of Congress
Q340 .Y83 2006, TK7867-7867.5

Edition Identifiers

Open Library
OL7444904M
Internet Archive
constraintbasedv00yuan
ISBN 10
0387259473
ISBN 13
9780387259475
LCCN
2005936518
OCLC/WorldCat
63280750
Goodreads
81211

Work Identifiers

Work ID
OL18735765W

Source records

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
February 25, 2022 Edited by ImportBot import existing book
December 29, 2021 Edited by ImportBot import existing book
June 29, 2019 Edited by MARC Bot import existing book
February 12, 2019 Created by MARC Bot import existing book