LEADER 02014nam0 22004093i 450 
001 AQ10001456
005 20240802062520.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   $aLogica simbolica$xCongressi$x1991$2FIR$3NAPC232490$9I
606   $aInformatica$xMetodi matematici$2FIR$3NAPC231555$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
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$3MILV108884
790  1$aBauer$b, F. L.$3MILV154364$zBauer, Friedrich Ludwig
801  3$aIT$bIT-NA0079$c20081006
850   $aIT-BN0095          
912   $aAQ10001456
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 004.01                  LOGAAO$e 0102 0000012535    B A4                    1 v.$f3 $h19940707$i19940707
977   $a 01
996   $aLogic and algebra of specification$91571123
997   $aUNISANNIO