LEADER 01397nam2-2200409li-450 
001 990000205780203316
005 20180312154650.0
010   $a3-540-63406-1
035   $a0020578
035   $aUSA010020578
035   $a(ALEPH)000020578USA01
035   $a0020578
100   $a20001109d1997----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aModular compiler verification$ea refinement-algebraic approach advocating stepwise abstraction$fMarkus Muller-Olm
210   $aBerlino$cSpringer-Verlag$dcopyr. 1997
215   $aXII, 250 p.$cill.$d23 cm
225 2 $aLecture notes in computer science$v1283
410  0$10010020264$12001$aLecture notes in computer science
610 1 $alinguaggi di programmazione
610 1 $asoftware$aprogettazione
610 1 $asoftware$averifica
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
700  1$aMuller-Olm,$bMarkus$0508822
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000205780203316
951   $a001 LNCS (1283)$b0020834$c001$d00104039
959   $aBK
969   $aSCI
979   $c19971122
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010202$lUSA01$h1503
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aModular compiler verification$91489174
997   $aUNISA

LEADER 01472nam  2200445   450 
001 9910397875203321
005 20201104122341.0
010   $a84-946829-4-6
035   $a(CKB)4100000009605823
035   $a(MiAaPQ)EBC6771093
035   $a(EXLCZ)994100000009605823
100   $a20201104d2017      uy             0
101 0 $aspa
135   $aurcnu||||||||
181   $ctxt$2rdacontent/spa
182   $cc$2rdamedia/spa
183   $acr$2rdacarrier/spa
200 13$aLa venta judicial de inmuebles /$fJosep Maria Sabater Sabate? ; pro?logo de Manuel Cacho?n Cadenas
210  1$a[Vallirana, Barcelona] :$cBosch Editor,$d2017.
215   $a1 recurso en li?nea (408 pa?ginas)
225 0 $aBosch procesal ;$v53
300   $aIncluye jurisprudencia relacionada.
311   $a84-946829-3-8 
320   $aBibliografi?a: pa?ginas 403-408. I?ndices.
606   $aPropiedad inmobiliaria$xCompraventa$zEspan?a
606   $aSubastas judiciales$zEspan?a
606   $aReal property auctions$zSpain
606   $aJudicial sales$zSpain
608   $aLibros electronicos.
615  4$aPropiedad inmobiliaria$xCompraventa
615  4$aSubastas judiciales
615  0$aReal property auctions
615  0$aJudicial sales
676   $a347.077
700   $aSabater Sabate?$b Josep Maria$0964524
801  0$bFINmELB
906   $aBOOK
912   $a9910397875203321
996   $aLa venta judicial de inmuebles$92188420
997   $aUNINA