01059nam a2200265 a 4500 vtls000044150 KUKTEM 20251117145521.0 090914t2008 maua f b 001 0 eng d 026202649X (hardcover : alk. paper) 9780262026499 (hardcover : alk. paper) 201107132214 VLOAD 201008241217 fauzi 200909141411 shikin UMP QA76.76.V47 B35 2008 Baier, Christel Principles of model checking / Christel Baier, Joost-Pieter Katoen Cambridge, Mass. : The MIT Press, [2008?] xvii, 975 p. : ill. ; 26 cm. Includes bibliographical references (p. 931-964) and index Computer systems Verification Computer software Verification Katoen, Joost-Pieter Table of contents only http://www.loc.gov/catdir/toc/ecip0727/2007037603.html 0 0 0 0 20000 20000 2019-09-04 210.61 0 QA76.76.V47 B35 2008 0000049137 2019-09-04 00:00:00 1 210.61 2019-09-04 OPEN VIRTUA40 47909 47915 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*6500*6501*7000*8560*9991