Model Checking

Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve

Model Checking - MIT Press 2018

9780262349451

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha