Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Costas Courcoubetis (ed.)
Bok Engelsk 1993 CAV '93
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | IX, 504 s. : ill.
|
| Emner | |
| ISBN | 0387569227. - 3540569227
|
