Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger (eds.)
Bok Engelsk 1996 CAV '96
Utgitt | Berlin : Springer , c1996
|
---|---|
Omfang | XII, 472 s. : ill.
|
Emner | |
ISBN | 3540614745
|