LEADER 01509nam0 22003613i 450 
001 NAP0396617
005 20241220062928.0
010   $a0412486806
100   $a20080211d1993    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogic and specification$eextending VDM-SL for advanced formal specification$fCornelis A. Middelburg
210   $aLondon [etc.]$cChapman & Hall computing$d1993
215   $aXI, 404 p.$d24 cm
225 | $aComputer science. Research and practice$v1
300   $aBibliografia: P. [391]-395.
410  0$1001NAP0396624$12001 $aComputer science. Research and practice$v1
606   $aElaboratori elettronici$xProgrammazione$xLinguaggi$2FIR$3NAPC005351$9I
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
606   $aLogica simbolica$2FIR$3NAPC147266$9I
606   $aLogica matematica$2FIR$3NAPC000388$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
700  1$aMiddelburg$b, Cornelis A.$3NAPV105749$4070$0770819
801  3$aIT$bIT-NA0079$c20080211
850   $aIT-BN0095          
912   $aNAP0396617
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  MID.lo$e 0102 0000014445    B A4                    1 v.$f3 $h20080211$i20080211
977   $a 01
996   $aLogic and specification$91572939
997   $aUNISANNIO