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

LEADER 01062nam0 22002891i 450 
001 UON00516936
005 20231205105525.959
100   $a20230830d1995       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aVivere ancora$estoria di una giovinezza$fRuth Klüger$gtraduzione di Andreina Lavagetto
210   $aTorino$cEinaudi$d1995
215   $a282 p.$d22 cm
410  1$1001UON00148212$12001 $aˆI ‰coralli$v38
606   $aEBREI$3UONC059487$2FI
620   $aIT$dTorino$3UONL000014
676   $a833.9$cNarrativa tedesca, 1900-$v21
700  1$aKLUGER$bRuth$3UONV291752$0388823
702  1$aLAVAGETTO$bAndreina$3UONV158204
712   $aEinaudi$3UONV246211$4650
801   $aIT$bSOL$c20241122$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00516936
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI F. Goethe 830                     KLU         3330                $eSI    45167    5        3330                
996   $aVivere ancora$93903924
997   $aUNIOR