LEADER 00919cam0-22002891i-450-
001 990008245700403321
005 20160310140544.0
035   $a000824570
035   $aFED01000824570
035   $a(Aleph)000824570FED01
035   $a000824570
100   $a20160310d1803----km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aDel commercio de' Romani ed il colbertismo. Memorie due del signor Francesco Mengotti feltriense. Tomo primo [-secondo]
205   $aQuarta edizione accresciuta e corretta dall'autore
210   $aIn Venezia$ca spese di Antonio Graziosi a S. Apollinare$d1803
215   $a2 v.$d8°
620   $aItalia.$dVenezia
676   $a945.082$v12 rid.$zita
700  1$aMengotti,$bFrancesco$f<1749-1830>$05875
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aAQ
912   $a990008245700403321
952   $aXV F 65$b25883$fFGBC
959   $aFGBC
997   $aUNINA

LEADER 01568nam2-2200421li-450 
001 990000211040203316
005 20180312154913.0
010   $a3-540-60271-2
035   $a0021104
035   $aUSA010021104
035   $a(ALEPH)000021104USA01
035   $a0021104
100   $a20001109h----1995995y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $a<<the>> Z formal specification notation$e9th International conference of Z users$eLimerick, Ireland, Septmber7-9, 1995$eproceedings$fJonathan P. Bowen ... [etc.] (eds.)$vZUM'95
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr$h1995
215   $aXI, 569 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v967
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$alimerick$a1995
610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1995
610 1 $asoftware$aprogettazione$acongressi$a1995
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
702  1$aBowen,$bJonathan P.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000211040203316
951   $a001 LNCS (967)$b0018695$c00100103750$d00103750
959   $aBK
969   $aSCI
979   $c19960405
979   $c20001110$lUSA01$h1714
979   $aPATTY$b90$c20001211$lUSA01$h1803
979   $aALANDI$b90$c20010131$lUSA01$h1558
979   $c20020403$lUSA01$h1629
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aZ formal specification notation$91501999
997   $aUNISA

LEADER 01036nam--2200349---450-
001 990000557550203316
035   $a0055755
035   $aUSA010055755
035   $a(ALEPH)000055755USA01
035   $a0055755
100   $a20010711d1983----km-y0itay0103----ba
101   $aeng
102   $aGB
105   $a||||||||001yy
200 1 $aMulti-microprocessor systems$fby Y. Paker
210   $aLondon$cAcademic Press$d1983
215   $aXII, 204 p.$cill.; graf.; tab.$d23 cm
225 2 $aA.P.I.C. studies in data processing$v18
410   $12001$aA.P.I.C. studies in data processing$v18
610 0 $aMicroprocessori
676   $a001.6404
700  1$aPAKER,$bYakup$052161
801  0$aIT$bsalbc$gISBD
912   $a990000557550203316
951   $a001.6 API 18$b22339 SM$c001.6$d00105085
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010711$lUSA01$h0952
979   $c20020403$lUSA01$h1705
979   $aPATRY$b90$c20040406$lUSA01$h1639
996   $aMulti-microprocessor systems$9884530
997   $aUNISA