LEADER 01407nlm0 22004211i 450 
001 990009249910403321
010   $a9783540319719
035   $a000924991
035   $aFED01000924991
035   $a(Aleph)000924991FED01
035   $a000924991
100   $a20100926d2005----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aStatic Analysis$bRisorsa elettronica$e12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings$fedited by Chris Hankin, Igor Siveroni
210   $aBerlin ; Heidelberg$cSpringer$d2005
225 1 $aLecture Notes in Computer Science$x0302-9743$v3672
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHankin,$bChris
702  1$aSiveroni,$bIgor
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11547662
901   $aEB
912   $a990009249910403321
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aProgramming Languages, Compilers, Interpreters
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aStatic Analysis$9772085
997   $aUNINA

LEADER 00879nam  2200289   450 
001 996666972303316
005 20250909161238.0
010   $a88-8492-370-0
100   $a20250715d2006----km y0itay5003    ba
101 0 $aita
102   $aIT
105   $ay       00  y
200 1 $a<<Le>> fonti del diritto, oggi$egiornate di studio in onore di Alessandro Pizzorusso, Pisa, 3-4 marzo 2005
210   $aPisa$cPlus-Pisa university press$d2006
215   $a469 p.$d24 cm
225 2 $aBiblioteca$iAtti di convegni
410  0$12001$aBiblioteca$iAtti di convegni
606 0 $aDiritto$xAtti di congressi$yItalia$2BNCF
676   $a349.45
702   $aPIZZORUSSO,$bAlessandro
801  0$aIT$bcba$gREICAT
912   $a996666972303316
951   $aXVI.7.D. 438$bFBUO$cXVI.7.D.
959   $aBK
969   $aFBUO
996   $aFonti del diritto, oggi$91095502
997   $aUNISA