Hardware Specification, Verification and Synthesis: Mathematical Aspects

By clibrary on Mon, 06/23/2025 - 19:50
Author

Miriam Leeser, Geoffrey Brown

Publisher

Springer

Subject

Computer Science

Year

1990

Vol/Edition

408

ISBN

9780387348018

URL
http://dx.doi.org/10.1007/0-387-97226-9