LEADER 01605nam--2200409---450-
001 990001893230203316
005 20040802103914.0
010   $a3-540-20527-6
035   $a000189323
035   $aUSA01000189323
035   $a(ALEPH)000189323USA01
035   $a000189323
100   $a20040802d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods at the crossroads$efrom panacea to foundational support$e10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University$eLisbon, Portugal, March 18-20, 2002$erevised papers$fBernhard K. Aichernig, Tom Maibaum (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXIV, 453 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2757
410  0$12001$aLecture notes in computer science$v2757
454  1$12001
461  1$1001-------$12001
610 0 $aIngegneria del software$aCongressi
676   $a005.1
702  1$aAICHERNIG,$bBernhard K.
702  1$aMAIBAUM,$bTom
710 12$aAnniversary colloquium of the United Nations University and the International Institute for software technology <10. ; 2002 ; Lisbon, Portugal>$0564945
712 02$aInternational Institute for Software Technology
801  0$aIT$bsalbc$gISBD
912   $a990001893230203316
951   $a001 LNCS 2757$b0029973/CBS$c001$d00114224
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040802$lUSA01$h1039
996   $aFormal methods at the crossroads$9954141
997   $aUNISA