LEADER 01154nam2-2200349---450-
001 990003325130203316
005 20091005135256.0
010   $a978-3-642-01747-6
035   $a000332513
035   $aUSA01000332513
035   $a(ALEPH)000332513USA01
035   $a000332513
100   $a20091005d2009----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aLanguages: from formal to natural$eessays dedicated to Nissim Francez on the occasion of his 65th birthday$fOrna Grumberg...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aVIII, 244 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iFestschrift$v5533
410  0$12001$aLecture notes in computer science$v5533
606 0 $aSoftware per computer$xProgrammazione
676   $a005.1
700  1$aGRUMBERG,$bOrna$067499
801  0$aITA$bsalbc$gISBD
912   $a990003325130203316
951   $a001 LNCS 5533$b38335/CBS$c001$d00219441
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091005$lUSA01$h1352
996   $aLanguages: from formal to natural$91121429
997   $aUNISA