Books listed by ISBN
>
Springer
> Sheetanshu L. Pandey
Sheetanshu L. Pandey
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Formal Semantics and Proof Techniques for Optimizing VHDL Models
978-O-7923-8375-8
(O-7923-8375-3)
1998
Kothanda Umamageswaran · Philip A. Wilsey
L.P.
·
S. L.
·
S P
·
S. Pandey
SHEFFIELD LINDA JENSEN