LEADER 01137nam a2200265 i 4500
001 991000000819707536
005 20020503105243.0
008 000215s||||    il            ||| | ita  
035   $ab10000902-39ule_inst
035   $aLE01988134$9ExL
040   $aDip.to Beni Arti e Storia$bita
100 1 $aCignelli, Lino$0459003
245 10$aBonaventuriana :$bsaggi in occasione del VII Centenario della morte di S. Bonaventura /$cLino Cignelli, Ignazio Mancini, Metodio Brlek
260   $aGerusalemme :$bFranciscan Printing Press,
300   $a195 p. ;$c24 cm.
490 0 $aStudi Biblici Franciscani Analecta ;$v9
650  4$aSan Bonaventura$xStudi
700 1 $aMancini, Ignazio$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0459070
700 1 $aBrlek, Metodio$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0732977
907   $a.b10000902$b17-02-17$c29-05-02
912   $a991000000819707536
945   $aLE019 A1 ST C 20$g1$i2019000051842$lle019$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10001062$z29-05-02
996   $aBonaventuriana$91444167
997   $aUNISALENTO
998   $ale019$b01-01-00$cm$da  $e-$fita$gxx $h0$i1

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