LEADER 01087nam0 22003013i 450 
001 NAP0398472
005 20240412062315.0
010   $a047192489X
100   $a20080227d1990    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aZ$ean introduction to formal methods$fAntoni Diller
210   $aChichester [etc.]$cWiley$dc1990
215   $aXXI, 309 p.$d25 cm
300   $aBibliografia: P. 289-299.
606   $aElaboratori elettronici$xProgrammazione$xLinguaggio Z$2FIR$3NAPC224936$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.133$9SPECIFICI LINGUAGGI DI PROGRAMMAZIONE$v22
700  1$aDiller$b, Antoni$3MILV177055$4070$0506904
801  3$aIT$bIT-NA0079$c20080227
850   $aIT-BN0095          
912   $aNAP0398472
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 005.13                  DIL.z$e 0102 0000004405    B A4                    1 v. (rist., 1992)$f3 $h19931004$i19931004
977   $a 01
996   $aZ$91572958
997   $aUNISANNIO