LEADER 01593nam2-2200421li-450 001 990000206730203316 005 20180312154903.0 010 $a3-540-61042-1 035 $a0020673 035 $aUSA010020673 035 $a(ALEPH)000020673USA01 035 $a0020673 100 $a20001109d1996----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTools and algorithms for the construction and analysis of systems$esecond International workshop, TACAS'96$ePassau, Germany, March 27-29, 1996$eproceedings$fTiziana Margaria ...[et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1996 215 $aXI, 434 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v1055 410 0$10010020264$12001$aLecture notes in computer science 610 1 $aalgoritmi$acongressi$a1996 610 1 $acongressi$apassau$a1995 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1996 676 $a00512$9Svuluppo dei programmi 702 1$aMargaria,$bTiziana 710 12$aInternational Workshop TACAS'96$d2.$ePassau$f1996$0754757 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000206730203316 951 $a001 LNCS (1055)$b0019100$c001$d00103844 959 $aBK 969 $aSCI 979 $c19961006 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010201$lUSA01$h1031 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTools and algorithms for the construction and analysis of systems$91518963 997 $aUNISA LEADER 00888nam0-2200265 --450 001 9910725401103321 005 20250312110056.0 100 $a20230609d1948----kmuy0itay5050 ba 101 0 $afre$agrc 102 $aFR 105 $ay 001yy 200 1 $a<>vers d'or$fPythagore$gtexte grec original avec la traduction française littérale précédée d'un avertissement et suivie de notes explicatives par Léonard Saint-Michel$gfrontespice de Jean Mary 210 $aBourges$cTyp. M. Boin$d[1948] 215 $a62 p$d15 cm 305 $aEd. di 4000 esempl. num. 676 $a182.2 700 0$aPythagoras$f$01359434 702 1$aSaint-Michel,$bLeonard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910725401103321 952 $aOPUSC. 41 (028)$bFILCLASS$fFLFBC 959 $aFLFBC 996 $aVers d'or$93373893 997 $aUNINA