LEADER 00973nam0-2200337---450- 001 990009821080403321 005 20140210111755.0 010 $a978-88-6342-492-8 035 $a000982108 035 $aFED01000982108 035 $a(Aleph)000982108FED01 035 $a000982108 100 $a20140210d2013----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aGuerra o diritto?$eil diritto umanitario e i conflitti armati tra ordinamenti giuridici$fRenato Federici 205 $a3. ed 210 $aNapoli$cEditoriale scientifica$d2013 215 $a372 p.$d21 cm 225 1 $aBiblioteca universitaria$v37 610 0 $aDiritto umanitario 676 $a323.09$v21$zita 700 1$aFederici,$bRenato$0263301 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009821080403321 952 $aCollez. 2401 (37)$b51042$fFSPBC 959 $aFSPBC 996 $aGuerra o diritto$9835644 997 $aUNINA LEADER 02607nam0 22005413i 450 001 AQ10001456 005 20251003044040.0 010 $a0387558136$bNew York 010 $a3540558136$bBerlin 100 $a20081006d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aLogic and algebra of specification$fedited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg 210 $aBerlin [etc.]$cSpringer$dc1993 215 $a442 p.$d25 cm 225 | $aNATO ASI series$i. Series F, Computer and systems sciences$v94 300 $aContiene gli atti del NATO Advanced Study Institute on Logic and Algebra of Specification, Marktoberdorf, 23 luglio - 4 agosto 1991 410 0$1001VEA0024631$12001 $aNATO ASI series$i. Series F, Computer and systems sciences$v94 606 $aLOGICA MATEMATICA$xCONGRESSI$x1991$2FIR$3MILC048479$9I 606 $aInformatica$xMetodi matematici$2FIR$3NAPC231555$9I 606 $aCONGRESSI$xMARKTOBERDORF$x1991$2FIR$3MILC048480$9I 676 $a004.01$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria$v14 676 $a004.015113$9Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)$v22 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 696 $aScienza degli elaboratori 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 699 $aInformatica$yScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 702 1$aBauer$b, Friedrich Ludwig$3AQ1V000814 702 1$aBrauer$b, Wilfried$3AQ1V000815 702 1$aSchwichtenberg$b, Helmut$f <1942- >$3AQ1V000816 712 12$aNATO advanced study institute on logic and algebra of specification$f <1991$e ; Marktoberdorf>$3MILV108884 790 1$aBauer$b, F. L.$3MILV154364$zBauer, Friedrich Ludwig 801 3$aIT$bIT-000000$c20081006 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aAQ10001456 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 004.01 LOGAAO$e 0102 0000012535 VMA A4 1 v.$fY $h19940707$i19940707 977 $a 01 996 $aLogic and algebra of specification$91571123 997 $aUNISANNIO