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:
