hardware specification, verification and synthesis: mathematical aspects: mathematical sciences institute workshop. cornell university ithaca, new yor (en Inglés)

cornell university · springer