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

Bibliotek som har denne