01373cam a22003494a 4500 28319 28290 2156749 EG-ScBUE 20200310110347.0 990121r20011999maua f b 001 0 eng d 0262032708 9780262032704 DLC eng rda DLC DLC EG-ScBUE 004.21 CLA 22 Clarke, Edmund M., Jr. (Edmund Melson), 1945- author. Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Third printing. Cambridge, Massachusetts ; London,England : The MIT Press, 2001. xiv, 314 pages : illustrations ; 24 cm rdacontent text txt rdamedia unmediated n rdacarrier volume nc Includes bibliographical references and index. Computer systems Verification. BUEsh COMSCI March2020 Reading book 34232 Grumberg, Orna, author. Peled, Doron A., 1962- author. 7 cbc orignew 1 ocip 19 y-gencatlg ddc BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2020-03-10 Purchase 0 004.21 CLA 000048978 2025-07-15 00:00:00 2020-03-10 BB