| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Science Institute Workshop, Cornell University Ithaca, New ... Mathematical Aspects - Workshop Proceedings | 978-3-540-97226-6 (3-540-97226-9) | 1990 | Geoffrey Brown | |
| Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New ... | 978-0-387-97226-8 (0-387-97226-9) | 1990 | " |
M.-L. · Marianne Lehker · Marin Lequire · Marion Lugauer · Marion Luger · Maureen Lasher · Maureen Leser · Miriam Lazar