LEADER 01588nlm0 22004571i 450 
001 990009249030403321
010   $a9783540317142
035   $a000924903
035   $aFED01000924903
035   $a(Aleph)000924903FED01
035   $a000924903
100   $a20100926d2005----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFM 2005: Formal Methods$bRisorsa elettronica$eInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings$fedited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
210   $aBerlin ; Heidelberg$cSpringer$d2005
225 1 $aLecture Notes in Computer Science$x0302-9743$v3582
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aFitzgerald,$bJohn
702  1$aHayes,$bIan J.
702  1$aTarlecki,$bAndrzej
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/b27882
901   $aEB
912   $a990009249030403321
961   $aComputer science
961   $aComputer Science
961   $aInformation Systems
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aManagement of Computing and Information Systems
961   $aMathematical Logic and Formal Languages
961   $aProgramming Languages, Compilers, Interpreters
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aFM 2005: Formal Methods$9772263
997   $aUNINA

LEADER 01216cam0-2200313---450-
001 990005728810403321
005 20150924154355.0
035   $a000572881
035   $aFED01000572881
035   $a(Aleph)000572881FED01
035   $a000572881
100   $a19990604f1930----km-y1itay50------ba
101 0 $alat
102   $aNL
105   $ay-------001yy
200 1 $aDe Orosio et Sancto Augustino Priscillianistarum adversariis commentatio historica et philologica$especimen litterarium inaugurale quod annuente summo numine ex auctoritate rectoris magnifici P. Bellefroid ... rite et legitime consequendis facultatis examini submittet Johannes Alphons Davids roterodamus, die 26. m. Mai anni 1930. hora IV
210   $aHagae$cA.N. Govers N.V.$d[1930?]
215   $a301 p.$d25 cm$e1 c.
610 0 $aAgostino, Aurelio <santo>$aPolemica contro i priscillanisti
610 0 $aOrosio <santo>$aPolemica contro i priscillanisti
676   $a189.2$v22$zita
676   $a239.3$v22$zita
700  1$aDavids,$bJohannes Alphons$0219408
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990005728810403321
952   $a239.3 DAV 1$bIst.Glott. s.i.$fFLFBC
959   $aFLFBC
997   $aUNINA