LEADER 01625nam--2200421---450-
001 990003327150203316
005 20100301145942.0
010   $a978-92-9167-965-2
035   $a000332715
035   $aUSA01000332715
035   $a(ALEPH)000332715USA01
035   $a000332715
100   $a20091007d2007----km-y0itay50------ba
101   $aeng
102   $aLU
105   $a||||||||001yy
200 1 $aSustainable consumption and production in South East Europe and Eastern Europe, Caucasus and central Asia$eJoint UNEP-EEA report on the opportunities and lessons learned$fUNEP, European environment agency
210   $aLuxembourg$cOffice for official publications of the European Communities$d2007
215   $a184 p.$cill.$d30 cm
225 2 $aEEA Report$v3/2007
410  0$12001$aEEA Report
606 0 $aSviluppo sostenibile$yEuropa sudorientale$2BNCF
606 0 $aSviluppo sostenibile$yEuropa orientale$2BNCF
606 0 $aSviluppo sostenibile$yCaucaso$2BNCF
606 0 $aSviluppo sostenibile$yAsia centrale$2BNCF
676   $a333.7094
699   $a16.01$bSviluppo sostenibile
710 02$aNazioni Unite :$bEnvironment programme$0383290
711 02$aAGENZIA EUROPEA DELL'AMBIENTE$0541548
801  0$aIT$bsalbc$gISBD
912   $a990003327150203316
951   $aCDE 16.01 (XXXIV)$bCDE 2195$cCDE 16.01$d00150598
959   $aBK
969   $aCDE
979   $aCDE$b10$c20091007$lUSA01$h1029
979   $aMARIAS$b90$c20100301$lUSA01$h1459
996   $aSustainable consumption and production in South East Europe and Eastern Europe, Caucasus and central Asia$91120201
997   $aUNISA

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