LEADER 01161nam0-22003731i-450- 001 990000514510403321 005 20090511153819.0 010 $a0-262-01077-1 035 $a000051451 035 $aFED01000051451 035 $a(Aleph)000051451FED01 035 $a000051451 100 $a20020821d1985----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa-------001yy 200 1 $aStructure and interpretation of computer programs$fHarold Abelson and Gerald Jay Sussman$gwith Julie Sussman 205 $a2nd ed. 210 $aNew York$cMc Graw-Hill$d1996 215 $a657 p.$cill.$d24 cm 225 1 $a<>MIT electrical engineering and computer science series 610 0 $aElaboratori elettronici$aprogrammazione 700 1$aAbelson,$bHarold$027443 701 1$aSussman,$bGerald Jay$0475718 702 1$aSussman,$bJulie 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000514510403321 952 $a10 P.T. 665$b2757 DIS$fDINEL 952 $aGEN B 473$b15294$fFARBC 959 $aDINEL 959 $aFARBC 996 $aStructure and interpretation of computer programs$9330999 997 $aUNINA LEADER 02184oam 2200481 450 001 996465448803316 005 20210414164543.0 010 $a3-030-58167-5 024 7 $a10.1007/978-3-030-58167-1 035 $a(CKB)4100000011508873 035 $a(DE-He213)978-3-030-58167-1 035 $a(MiAaPQ)EBC6381021 035 $a(PPN)258060425 035 $a(EXLCZ)994100000011508873 100 $a20210414d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSystems modelling and management $efirst international conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, proceedings /$fOnder Babur, Joachim Denil, Birgit Vogel-Heuser (editors) 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XII, 197 p. 28 illus., 1 illus. in color.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v1262 311 $a3-030-58166-7 327 $aVerification and Validation -- Applications -- Methods, Techniques and Tools. 330 $aThis book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v1262 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a005.1 702 $aBabur$b Önder 702 $aDenil$b Joachim 702 $aVogel-Heuser$b Birgit 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465448803316 996 $aSystems modelling and management$92139672 997 $aUNISA LEADER 01207nam a2200277 i 4500 001 991002325439707536 005 20020508194311.0 008 960614s1963 it ||| | ita 035 $ab10992376-39ule_inst 035 $aPARLA160499$9ExL 040 $aDip.to scienze storiche$bita 100 1 $aSalvemini, Gaetano$0342619 245 10$aCome siamo andati in Libia e altri scritti dal 1900 al 1915 /$cGaetano Salvemini ; a cura di Auguto Torre 260 $aMilano :$bFeltrinelli,$c1963 300 $aXIX, 540 p. ;$c22 cm. 490 0 $aOpere di Gaetano Salvemini ;$v3 490 0 $aScritti di politica estera / Gaetano Salvemini ;$v1 650 4$aSalvemini, Gaetano - Scritti politici$y1900-1915 700 1 $aTorre, Augusto 907 $a.b10992376$b23-02-17$c28-06-02 912 $a991002325439707536 945 $aLE009 Enc. St. 14/6bis$g1$i2009000027930$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i11107133$z28-06-02 945 $aLE009 ENC. Stor.14/6$g1$iLE009ISL-440$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i11107145$z28-06-02 996 $aCome siamo andati in Libia e altri scritti dal 1900 al 1915$9168789 997 $aUNISALENTO 998 $ale009$b01-01-96$cm$da $e-$fita$git $h0$i2