Model Checking (Record no. 12689)

MARC details
000 -LEADER
fixed length control field 00252 a2200085 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262349451
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve
9 (RLIN) 18483
245 ## - TITLE STATEMENT
Title Model Checking
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc. MIT Press
Date of publication, distribution, etc. 2018

No items available.

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