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<> 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 01310nam 2200277la 450 001 9910482469003321 005 20221108060233.0 035 $a(UK-CbPIL)2090367497 035 $a(CKB)5500000000092483 035 $a(EXLCZ)995500000000092483 100 $a20210618d1536 uy | 101 0 $alat 135 $aurcn||||a|bb| 200 10$aEpistola medica, de aquarum destillatarum facultatibus. De Adriani Aelii Barlandi mortis genere, hacque occasione, multa obiter de fluxuum ventris, et haemorrhoidum generibus, inter quae enucleatur Pauli Aeginetae caput de haemorrhoidibus / [Hubertus Barlandus]$b[electronic resource] 210 $aAntwerp $cJoannes Steelsius$d1536 215 $aOnline resource (35[36] leaves , (8vo)) 300 $aReproduction of original in The Wellcome Library, London. 700 $aBarlandus$b Hubertus$0973614 701 $aBarlandi$b Adriani Aelii$0973615 701 $aPaulus$b Aegineta$0168551 801 0$bUk-CbPIL 801 1$bUk-CbPIL 906 $aBOOK 912 $a9910482469003321 996 $aEpistola medica, de aquarum destillatarum facultatibus. De Adriani Aelii Barlandi mortis genere, hacque occasione, multa obiter de fluxuum ventris, et haemorrhoidum generibus, inter quae enucleatur Pauli Aeginetae caput de haemorrhoidibus$92215482 997 $aUNINA