LEADER 01284nam--2200397---450-
001 990002952020203316
005 20070914104438.0
010   $a3-540-24936-2
035   $a000295202
035   $aUSA01000295202
035   $a(ALEPH)000295202USA01
035   $a000295202
100   $a20070629d2005----km-y0itay50------ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFormal Methods in Software and Systems Modeling$fHans-Jorg Kreowski...[et al.](eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXXVII, 411 p.$d24 cm
225 2 $aLecture notes in computer science$v3393
300   $asul front. : Essays dedicated to Hartmut Ehrig on the occasion of his 60th Birthday
410  0$12001$aLecture notes in computer science$v3393
454  1$12001
461  1$1001-------$12001
606 0 $aInternet$xSaggi
676   $a004.678
700  1$aKREOWSKI,$bHans-Jorg$0597505
801  0$aIT$bsalbc$gISBD
912   $a990002952020203316
951   $a001 LNCS 3393$b31820 CBS$c001$d00112452
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070629$lUSA01$h1227
979   $aSENATORE$b90$c20070914$lUSA01$h1044
996   $aFormal Methods in Software and Systems Modeling$91031631
997   $aUNISA