Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Orna Grumberg (ed.)
Bok Engelsk 1997 CAV '97
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | XI, 486 s. : ill.
|
Emner | |
ISBN | 3540631666
|
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | XI, 486 s. : ill.
|
Emner | |
ISBN | 3540631666
|