LEADER 01215nam0 22003131i 450 
001 UON00033157
005 20231205102110.518
010   $a97-940767-3-2
100   $a20020107d1994       |0itac50      ba
101   $aind
102   $aID
105   $a||||e   |||||
200 1 $aKamus Istilah Sastra$fAbdul Rozak Zaidan, Anita K. Rustapa, Hani'ah
210   $aJakarta$cBalai Pustaka$d1994
215   $a248 p.$d21 cm
316   $aFatt. prof. del 6.1.98$5IT-UONSI INDSVII/014 N
606   $aRELIGIONE$xINDONESIA$xDIZIONARI$3UONC005638$2FI
620   $aID$dJakarta$3UONL000164
686   $aINDS VII$cINDONESIA - RELIGIONE E FILOSOFIA$2A
700  1$aRUSTAPA$bAnita K.$3UONV023980$0645708
701  0$aHANI'AH$3UONV023981$0645710
701  1$aZAIDAN$bAbdul Rozak$3UONV023979$0645709
712   $aBalai Pustaka$3UONV246152$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00033157
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI INDS      VII                                 014 N               $eSI SA 89034    5        014 N               Fatt. prof. del 6.1.98
996   $aKamus Istilah Sastra$91192385
997   $aUNIOR

LEADER 01742nam0 22004093i 450 
001 NAP0396617
005 20251003044249.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$3CFIC011611$9I
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
606   $aLogica simbolica$2FIR$3SBLC002225$9I
606   $aLogica matematica$2FIR$3CFIC000378$9E
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
700  1$aMiddelburg$b, Cornelis A.$3NAPV105749$4070$0770819
801  3$aIT$bIT-000000$c20080211
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aNAP0396617
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  MID.lo$e 0102 0000014445  VMA A4                    1 v.$fY $h20080211$i20080211
977   $a 01
996   $aLogic and specification$91572939
997   $aUNISANNIO