LEADER 01036nam0 22002651i 450 
001 SUN0044587
005 20060421120000.0
010   $a88-348-5615-5
100   $a20060421d2005       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aˆIl ‰positivismo giuridico contemporaneo$euna antologia$fAldo Schiavello, Vito Velluzzi
210   $aTorino$cG. Giappichelli$d[2005]
215   $aX, 327 p.$d24 cm.
620   $dTorino$3SUNL000001
700  1$aSchiavello$b, Aldo$3SUNV005057$0263063
701  1$aVelluzzi$b, Vito$3SUNV025125$0118789
712   $aGiappichelli$3SUNV000045$4650
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0044587
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS      XXI.Ed.246                          $e00    31698                                 
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$h31698$kCONS XXI.Ed.246$op$qa
996   $aPositivismo giuridico contemporaneo$91000760
997   $aUNICAMPANIA

LEADER 03581nam  22006855  450 
001 996465514103316
005 20200706161723.0
010   $a3-642-33125-4
024 7 $a10.1007/978-3-642-33125-1
035   $a(CKB)3400000000085796
035   $a(SSID)ssj0000746142
035   $a(PQKBManifestationID)11410836
035   $a(PQKBTitleCode)TC0000746142
035   $a(PQKBWorkID)10859702
035   $a(PQKB)10910878
035   $a(DE-He213)978-3-642-33125-1
035   $a(MiAaPQ)EBC3070142
035   $a(PPN)168323591
035   $a(EXLCZ)993400000000085796
100   $a20120829d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStatic Analysis$b[electronic resource] $e19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /$fedited by Antoine Mine, David Schmidt
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XI, 457 p. 153 illus.) 
225 1 $aProgramming and Software Engineering ;$v7460
300   $aInternational conference proceedings.
311   $a3-642-33124-6 
320   $aIncludes bibliographical references and author index.
327   $aStatic analysis -- Including abstract domains -- Abstract interpretation -- Abstract testing -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security analysis and type checking.
330   $aThis book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
410  0$aProgramming and Software Engineering ;$v7460
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1015113
702   $aMine$b Antoine$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchmidt$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Static Analysis Symposium
906   $aBOOK
912   $a996465514103316
996   $aStatic Analysis$9772085
997   $aUNISA