LEADER 01724nam  2200565 a 450 
001 9910781925803321
005 20230721032313.0
010   $a1-282-09957-4
010   $a9786612099571
010   $a0-262-26756-X
010   $a1-4356-4327-5
035   $a(CKB)1000000000487650
035   $a(OCoLC)228031090
035   $a(CaPaEBR)ebrary10223883
035   $a(SSID)ssj0000227397
035   $a(PQKBManifestationID)11198522
035   $a(PQKBTitleCode)TC0000227397
035   $a(PQKBWorkID)10264333
035   $a(PQKB)10572750
035   $a(MiAaPQ)EBC3338793
035   $a(Au-PeEL)EBL3338793
035   $a(CaPaEBR)ebr10223883
035   $a(OCoLC)962452879
035   $a(EXLCZ)991000000000487650
100   $a20070911d2008      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples of model checking$b[electronic resource] /$fChristel Baier, Joost-Pieter Katoen
210   $aCambridge, Mass. $cMIT Press$d2008
215   $a1 online resource (994 p.)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-262-02649-X 
320   $aIncludes bibliographical references (p. 931-964) and index.
606   $aComputer systems$xVerification
606   $aComputer software$xVerification
615  0$aComputer systems$xVerification.
615  0$aComputer software$xVerification.
676   $a004.2/4
700   $aBaier$b Christel$0312039
701   $aKatoen$b Joost-Pieter$0312040
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910781925803321
996   $aPrinciples of model checking$9808156
997   $aUNINA