GO 25 Years of Model Checking: History, Achievements, Perspectives
Author: Helmut Veith, Orna Grumberg
Type: eBook
Language: English
Released: 2008
Publisher: Springer
Page Count: 237
Format: pdf
ISBN-10: 3540698493
ISBN-13: 9783540698494
Tags:25 Years of Model Checking: History, Achievements, Perspectives, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve
Description:
No comments:
Post a Comment