Current trends in hardware verification and automated theorem proving
G. Birtwistle, P. A. Subrahmanyam, editors
Bok Språk ikke angitt 1989
Utgitt | New York : Springer , c1989
|
---|---|
Omfang | viii, 489 s. : ill.
|
Opplysninger | "... the outgrouth of a workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988" - Forordet.
|
Emner | |
ISBN | 0387969888. - 3540969888
|