Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
Bok Engelsk 2001 CAV 2001
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | XIII, 520 s. : ill.
|
| Emner | |
| ISBN | 3540423451
|
