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

by J. Herbert

Hardcover

details (USA).

ISBN: 978-0-521-35387-8

ISBN-10: 0-521-35387-4

Cambridge University Press · 1998