Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
G. v. Bochmann, D. K. Probst (eds.)
Bok Engelsk 1993 CAV '92
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | IX, 422 s.
|
| Emner | |
| ISBN | 0387564969. - 3540564969
|
