LEADER 01735nam0 2200313 i 450 
001 VAN0112611
005 20240202113752.247
010   $a978-02-620-2649-9
100   $a20171128d2008       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aPrinciples of model checking$fChristel Baier, Joost-Pieter Katoen
210   $aCambridge [Mass.]$cMIT$d2008
215   $aXVII, 963 p.$cill.$d26 cm
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$3VANC031034$2MF
620   $aUS$dCambridge <Mass.>$3VANL000513
700  1$aBaier$bChristel$3VANV086826$0312039
701  1$aKatoen$bJoost-Pieter$3VANV086827$0312040
712   $aMIT <editore>$3VANV111700$4650
801   $aIT$bSOL$c20240209$gRICA
856 4 $uhttps://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=false$zhttps://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=false
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0112611
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   0226        $e08DMF166       I       20171128            $sBuono
996   $aPrinciples of model checking$9808156
997   $aUNICAMPANIA