00853cam a2200265 a 4500 15002677 20260704220444.0 070911s2008 maua b 001 0 eng GBA847597 bnb 014566457 Uk 9780262026499 (hbk.) 15002677 (OCoLC)171152628 DLC Krea BTCTA BAKER YDXCP UKM C#P DLC 004.24 BAI Baier, Christel. 341 Principles of model checking / Christel Baier and Joost-Pieter Katoen. Cambridge : The MIT Press, 2008. xvii, 975 p. : ill. ; 26 cm. Computer systems Verification. 342 Computer software Verification. 343 Katoen, Joost-Pieter. 344 ddc BK 124419 124419 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-07-04 Atlantic - 1214019/14 14100.00 0 004.24 BAI K19396 2026-07-04 22:05:10 2026-07-04 BK