Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
David L. Dill (ed.)
Bok Engelsk 1994 CAV '94
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | IX, 480 s. : ill.
|
| Emner | |
| ISBN | 0387581790. - 3540581790
|
