00504nam a22001457a 4500 0 0 0 0 MLK MLK 2025-09-30 Progressive International Agencies 18481.43 0 005.131 MOD 90511 2025-09-30 00:00:00 1 16230041 BK 0 0 0 0 MLK MLK 2025-11-17 Purchased: Progressive International Agencies 18481.43 0 005.131 MOD 90512 2025-11-17 00:00:00 2 16230041 2025-11-17 BK 58115 58115 9780262038836 (hb) 005.131 MOD Edmund M Clarke Jr., Orna Grumberg Daniel Kroening Doron Peled Helmut Veith Model Checking London The mlt press 2018 xviii, 402 p. ill. 23 cm. Includes bibliographical references and index. Computer scinece Boolean encoding Softaware Hardware Symmetry FC BK