LEADER 01625nam0 22004333i 450 001 CAG0689676 005 20170908093256.0 010 $a8817170259 100 $a20130829d2000 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aOrestea$eAgamennone, Coefore, Eumenidi$fEschilo$gintroduzione di Vincenzo Di Benedetto$gtraduzione e note di Enrico Medda, Luigi Battezzato, Maria Pia Pattoni 205 $a6. ed 210 $aMilano$cBiblioteca Universale Rizzoli$d2000 215 $a553 p.$d18 cm 225 | $aBUR. L$v1025 300 $aTesto greco a fronte. 410 0$1001CFI0001852$12001 $aBUR. L$v1025 423 0$12001 $aCoefore$1700 0$aAeschylus$3CFIV003888$4070 423 0$12001 $aEumenidi.$1700 0$aAeschylus$3CFIV003888$4070 423 0$12001 $aAgamennone.$1700 0$aAeschylus$3CFIV003888$4070 700 0$aAeschylus$3CFIV003888$4070$0153340 702 1$aDi Benedetto$b, Vincenzo$3CFIV000293 702 1$aMedda$b, Enrico$3CFIV020184 702 1$aPattoni$b, Maria Pia$3CFIV060998 702 1$aBattezzato$b, Luigi$3RAVV093158 790 0$aEschilo$3CFIV003889$zAeschylus 790 0$aAeschylos$3CFIV323263$zAeschylus 790 0$aEschyle$3NAPV072322$zAeschylus 790 0$aAischylos$3SBNV041354$zAeschylus 801 3$aIT$bIT-NA0079$c20130829 850 $aIT-NA0666 912 $aCAG0689676 950 0$aBiblioteca del Liceo Ginnasio Statale G. B. Vico$d GVF. MODERNO1 C 42$e GV 0000004065 B $fT $h20130829$i20130829 977 $a GV 996 $aOrestea$9244286 997 $aUNISANNIO LEADER 00815nam0-22003131i-450- 001 990003138560403321 010 $a0-333-27746-5 035 $a000313856 035 $aFED01000313856 035 $a(Aleph)000313856FED01 035 $a000313856 100 $a20000920d1980----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $a<>Multinational Corporation$eNine Essays$fSanjaya Lall. 210 $aLondon$cMacmillan$d1980. 215 $aXII, 264 p.$d22 cm 676 $aF/1.311 676 $aH/2.227 676 $aO/1.22 702 1$aLall,$bSanjaya$f<1940- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003138560403321 952 $aO/122 LAL$b11288/I$fSES 959 $aSES 996 $aMultinational Corporation$9457216 997 $aUNINA DB $aING01 LEADER 04224nam 22007815 450 001 996466000803316 005 20200630033213.0 010 $a3-319-29628-0 024 7 $a10.1007/978-3-319-29628-9 035 $a(CKB)3780000000096469 035 $a(SSID)ssj0001658065 035 $a(PQKBManifestationID)16441066 035 $a(PQKBTitleCode)TC0001658065 035 $a(PQKBWorkID)14989192 035 $a(PQKB)10864456 035 $a(DE-He213)978-3-319-29628-9 035 $a(MiAaPQ)EBC6298626 035 $a(MiAaPQ)EBC5587194 035 $a(Au-PeEL)EBL5587194 035 $a(OCoLC)942000206 035 $a(PPN)192221671 035 $a(EXLCZ)993780000000096469 100 $a20160229d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering Trustworthy Software Systems$b[electronic resource] $eFirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /$fedited by Zhiming Liu, Zili Zhang 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XI, 325 p. 141 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v9506 300 $aIncludes index. 311 $a3-319-29627-2 327 $a(In-)formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component Systems -- Cyber-Physical Systems Engineering -- Combining Formal and Informal Methods in the Design of Spacecrafts. 330 $aThe courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra. 410 0$aProgramming and Software Engineering ;$v9506 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aSpecial purpose computers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aSpecial purpose computers. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466000803316 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNISA