LEADER 01164nam0 22002893i 450 
001 MIL0325691
005 20240816062803.0
010   $a0521455146
100   $a20080730d1994    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aInformation systems  engineering$ea formal approach$fK.M. van Hee
210   $aCambridge$cCambridge university press$d1994
215   $aXIII, 421 p.$d26 cm
606   $aTecnologia dell'informazione <Informatica>$2FIR$3NAPC221503$9I
676   $a004.2$9ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DEGLI ELABORATORI, VALUTAZIONE DELLE PRESTAZIONI$v14
676   $a004.21$9ANALISI E PROGETTAZIONE DEI SISTEMI$v22
700  1$aHee$b, Kees Max : van$f <1946-    >$3PUVV126021$4070$0770542
801  3$aIT$bIT-NA0079$c20080730
850   $aIT-BN0095          
912   $aMIL0325691
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 004.2                   HEE.in$e 0102 0000034805    N A4                    1 v.$f3 $h20000914$i20000914
977   $a 01
996   $aInformation systems engineering$91572346
997   $aUNISANNIO