LEADER 01257nem0-2200373---450- 001 990009353240403321 005 20111202125744.0 035 $a000935324 035 $aFED01000935324 035 $a(Aleph)000935324FED01 035 $a000935324 100 $a20110504d1958----km-y0itay50------ba 101 0 $aita 102 $aIT 120 $ab--------bl-- 121 $aaa-aabb-a$b-------- 123 1 $aa$b1:25000$de0014500$ee0015230$fn0414500$gn0414000 124 $a-$bd$c--$db$e-$f--$g-- 200 1 $aCarovilli$bDocumento cartografico$fIstituto geografico militare 206 $a1:25000 ; proiezione conforme universale trasversa di Mercatore (E1°45'-E1°52'30''/N41°45'-N41°40') 210 $aFirenze$cIGM$d1958 215 $a1 carta$ccolor.$d42 x 39 su foglio 60 x 52 cm 225 1 $aCarta d'Italia$v153, quadrante 2, tavoletta SO 300 $aIl meridiano di riferimento è M. Mario, Roma 540 1 $aFoglio 153, quadrante 2 tavoletta S. O. 610 0 $aMolise$aCarte 710 02$aIstituto geografico militare$05005 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aMP 912 $a990009353240403321 952 $aMP Cass.2 153, 2(3)$bIst. s.i.$fILFGE 959 $aILFGE 996 $aCarovilli$9767835 997 $aUNINA LEADER 01415nam2-2200409---450- 001 990003114200203316 005 20080926112019.0 010 $a978-3-540-79123-2 035 $a000311420 035 $aUSA01000311420 035 $a(ALEPH)000311420USA01 035 $a000311420 100 $a20080604d2008----km-y0itay50------ba 101 $aeng 102 $aDE 105 $aa---||||001yy 200 1 $aTests and proofs$esecond international conference, TAP 2008$ePrato, Italy, April 9-11, 2008$eproceedings$fBernhard Beckert, Reiner Hahnle (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2008 215 $aX, 191 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v4966 410 0$12001$aLecture notes in computer science 461 1$1001000314960$12001$aLecture notes in computer science 606 0 $aIngegneria del software$xCongressi$yPrato$z2008 606 0 $aElaborazione dati$xCongressi$yPrato$z2008 676 $a005.14 702 1$aBECKERT,$bBernhard 702 1$aHAHNLE,$bReiner 710 02$aInternational conference, TAP 2008$d<2.;$f2008;$ePrato>$0601536 801 0$aITA$bsalbc$gISBD 912 $a990003114200203316 951 $a001 LNCS 4966$b36738/CBS$c001$d00217353 959 $aBK 969 $aSCI 979 $aCBAS$b10$c20080604$lUSA01$h1014 979 $aANGELA$b90$c20080926$lUSA01$h1120 996 $aTests and proofs$91020347 997 $aUNISA