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 00944nam a2200265 i 4500
001 991000222339707536
005 20020527110901.0
008 010810s1980    it            ||| | ita  
035   $ab10047372-39ule_inst
035   $aPARLA217676$9ExL
040   $aDip.to Filosofia$bita
082 0 $a944
100 1 $aSerra, Maurizio$0165843
245 14$aUna cultura dell'autorità :$bla Francia di Vichy /$cMaurizio Serra
260   $aRoma ; Bari :$bLaterza,$c1980
300   $a257 p. ;$c22 cm.
490 0 $aBiblioteca di cultura moderna ;$v832
650  4$aFascismo$zFrancia$y1940-1944
650  4$aFrancia$xPolitica$y1940-1944
907   $a.b10047372$b17-02-17$c27-06-02
912   $a991000222339707536
945   $aLE005 MF 33 L 10$g1$i2005000270499$lle005$o-$pE0.00$q-$rl$s-  $t0$u1$v1$w1$x0$y.i10055447$z27-06-02
996   $aCultura dell'autorità$9193247
997   $aUNISALENTO
998   $ale005$b01-01-01$cm$da  $e-$fita$git $h4$i1