1993 - Formal Methods in Circuit Design [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521443364 ISBN-10: 0521443369 Genres: Computers & Technology, Reference, Engineering & Transportation ? |
1993 - Formal Methods in Circuit Design [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521443364 ISBN-10: 0521443369 Genres: Computers & Technology, Reference, Engineering & Transportation ? |