LEADER 01486nam0 2200301 i 450 
001 SUN0112611
005 20171128020154.690
010   $a978-02-620-2649-9$d0.00
100   $a20171128d2008       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Principles 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]$2MF$3SUNC019670
606   $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$2MF$3SUNC024550
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$2MF$3SUNC031034
620   $aUS$dCambridge <Mass.>$3SUNL000513
700  1$aBaier$b, Christel$3SUNV086826$0312039
701  1$aKatoen$b, Joost-Pieter$3SUNV086827$0312040
712   $aMIT$3SUNV005769$4650
801   $aIT$bSOL$c20200928$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
912   $aSUN0112611
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   0226        $e08DMF166       I       20171128            $sBuono
996   $aPrinciples of model checking$9808156
997   $aUNICAMPANIA