Model Checking (Record no. 12689)
[ view plain ]
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.