Model Checking

Author: Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Publisher: MIT Press
Language: English
Edition: 2
Year: 2018
Page: 424
ISBN: 0262038838,9780262038836
File Type: epub
File Size: 13.6 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book