Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New ...
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New ... Login for the JSON version of this page.
- Title
- Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New ...
- ISBN-10
- 0-387-97226-9
- ISBN-13
- 978-0-387-97226-8
- Author(s)
- Cornell University. Mathematical Sciences Institute. Workshop, Geoffrey Brown, Miriam Leeser
- Publisher
- Springer, Springer-Verlag
- Published
- 1990
- Format
- Paperback
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 109
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9780387972268
- ASIN
- 0387972269
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 387
- Publication
- 97226
- Check Digit
- 8
- Formatted
- 978-0-387-97226-8