GO Active Mining
Author: Hiroshi Motoda
Type: eBook
Language: English
Released: 2002
Publisher: IOS Press
Page Count: 302
Format: pdf
ISBN-10: 158603264X
ISBN-13: 9781586032647
Tags:Active Mining, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve
Description:
Proceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.
No comments:
Post a Comment