Computer Aided Verification, 9 conf., CAV '97


Go Computer Aided Verification, 9 conf., CAV '97


GO Computer Aided Verification, 9 conf., CAV '97


Author: Orna Grumberg
Type: eBook
Language: English
Released: 1997
Publisher: Springer
Page Count: 497
Format: djvu
ISBN-10: 3540631666
ISBN-13: 9783540631668
Tags:Computer Aided Verification, 9 conf., CAV '97, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Related links: