Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science)

Stavridou

by Victoria Stavridou

Hardcover

ISBN: 978-0-521-44336-4

ISBN-10: 0-521-44336-9

Cambridge University Press · 1993