LEADER 01737nam0 2200313 i 450 001 VAN00112611 005 20240806100746.848 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 $3VANL000513 700 1$aBaier$bChristel$3VANV086826$0312039 701 1$aKatoen$bJoost-Pieter$3VANV086827$0312040 712 $aMIT $3VANV111700$4650 801 $aIT$bSOL$c20240906$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 $aVAN00112611 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 68-XX 0226 $e08DMF166 I 20171128 $sBuono 996 $aPrinciples of model checking$9808156 997 $aUNICAMPANIA LEADER 01826nam0 22004093i 450 001 VAN00291291 005 20250411091909.765 017 70$2N$a9789819717859 100 $a20250411d2024 |0itac50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aIndia's Water Future in a Changing Climate$fKuppannan Palanisami, Udaya Sekhar Nagothu 210 $aSingapore$cSpringer$d2024 215 $aXVII, 306 p.$cill.$d24 cm 410 1$1001VAN00238381$12001 $aAdvances in Geographical and Environmental Sciences$1210 $aSingapore, Cham$cSpringer$d2014- 620 $aSG$dSingapore$3VANL000061 676 $a630$cAgricoltura e tecnologie connesse$v22 676 $a553.7$cAcqua$v22 676 $a551.6$cClima$v22 700 1$aPalanisami$bKuppannan$3VANV246627$01737438 701 1$aNagothu$bUdaya S.$3VANV246629$01803556 712 $aSpringer $3VANV108073$4650 790 1$aNagothu, Udaya Sekhar$zNagothu, Udaya S.$3VANV246630 790 1$aNagothu, U. S.$zNagothu, Udaya S.$3VANV246631 790 1$aNagothu, U.S.$zNagothu, Udaya S.$3VANV246632 801 $aIT$bSOL$c20250418$gRICA 856 4 $uhttps://link.springer.com/openurl?genre=book&isbn=978-981-97-1785-9$zE-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17 912 $fN 912 $aVAN00291291 950 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS e-book 2395 $e17BIB2395/146 146 20250411 996 $aIndia's Water Future in a Changing Climate$94351045 997 $aUNICAMPANIA LEADER 01558nam0 22003853i 450 001 VAN00300927 005 20251203110051.190 010 $a978-88-582-1738-2 100 $a20251203d2025 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aCodice delle famiglie delle persone e dei minori$f[a cura di] Francesco Antonio Genovese, Arnaldo Morace Pinelli 210 $a[Napoli]$cDike Giuridica$d2025 215 $aIX, 1637 p.$d17 cm 410 1$1001VAN00300929$12001 $aOscar Dike$ele leggi in tasca$v5 620 $dNapoli$3VANL000005 702 1$aGenovese$bFrancesco A.$3VANV078026$4340 702 1$aMorace Pinelli$bArnaldo$3VANV007714$4340 710 02$aItalia$3VANV001942$0423419 712 $aDike giuridica$3VANV114033$4650 790 1$aGenovese, Francesco Antonio$zGenovese, Francesco A.$3VANV078043 791 02$aRepubblica italiana$zItalia$3VANV057868 791 02$aRegno d'Italia <1861-1946>$zItalia$3VANV057870 791 02$aItalia $zItalia$3VANV057871 791 02$aItalia $zItalia$3VANV057873 801 $aIT$bSOL$c20260130$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00300927 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XV.A.130 $e00UBG16343 20251203 996 $aCodice delle famiglie delle persone e dei minori$94459464 997 $aUNICAMPANIA