Research Catalog
Constraint-based verification
- Title
- Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
- Author
- Yuan, Jun.
- Publication
- New York, NY : Springer, c2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 06-677 | Offsite |
Details
- Additional Authors
- Description
- xii, 253 p. : ill.; 24 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [231]-246) and index.
- Call Number
- JSE 06-677
- ISBN
- 0387259473
- OCLC
- 63280750
- Author
- Yuan, Jun.
- Title
- Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
- Imprint
- New York, NY : Springer, c2006.
- Bibliography
- Includes bibliographical references (p. [231]-246) and index.
- Added Author
- Pixley, Carl.Aziz, Adnan.
- Research Call Number
- JSE 06-677