LEADER 01559nam2-2200421li-450 001 990000208280203316 005 20180312154741.0 010 $a3-540-66224-3 035 $a0020828 035 $aUSA010020828 035 $a(ALEPH)000020828USA01 035 $a0020828 100 $a20001109d1999----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAutomata, languages and programming$e26th International colloquium, ICALP' 99$ePrague, Czech Republic, July 11-15, 1999$eproceedings$fJiri Wiedermann ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$d1999 215 $aXIV, 718 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1644 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$apraga$a1999 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1999 610 1 $alinguaggi di programmazione$acongressi$a1999 676 $a00513$9Linguaggi di programmazione 702 1$aWiedermann,$bJirí 710 12$aInternational colloquium$bICALP' 99$d26.$ePraga$f1999$0747193 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000208280203316 951 $a001 LNCS(1644)$b0023869$c001$d00104264 959 $aBK 969 $aSCI 979 $c19990119 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010208$lUSA01$h1317 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aAutomata, languages and programming$91492484 997 $aUNISA LEADER 02191nam0 2200469 i 450 001 RAV0255370 005 20231121125641.0 010 $a880439062X 010 $a9788804390626$b9. rist. 2011 100 $a20150824d1995 ||||0itac50 ba 101 | $alat$aita$clat 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aLettere morali a Lucilio$fSeneca$ga cura di Fernando Solinas$gprefazione di Carlo Carena 210 $aMilano$cA. Mondadori$d1995 215 $a2 v.$d20 cm 225 | $aClassici greci e latini$v81 300 $aTrad. italiana a fronte 300 $aIn custodia. 410 0$1001CFI0169293$12001 $aClassici greci e latini$v81 500 10$aEpistulae morales ad Lucilium$3TO00058728$9CFIV011797$916771 606 $aSeneca, Lucio Anneo . Epistulae ad Lucilium$xEdizioni critiche$2FIR$3RMLC425211$9E 676 $a876.01$9Epistole latine. Origini-499.$v21 700 1$aSeneca$b, Lucius Annaeus$c <4 a.C.-65>$3CFIV011797$4070$07130 702 1$aSolinas$b, Fernando$3CFIV017918 790 1$aSeneca$b, L. Annaeus$3CFIV125990$zSeneca, Lucius Annaeus <4 a.C.-65> 790 0$aSeneca$3CFIV159431$zSeneca, Lucius Annaeus <4 a.C.-65> 790 1$aSeneca$b, L. Anneo$3CFIV163206$zSeneca, Lucius Annaeus <4 a.C.-65> 790 1$aSeneka$b, Liucijus Anëjus$3CFIV218114$zSeneca, Lucius Annaeus <4 a.C.-65> 790 0$aPseudo-Seneca$3CFIV283387$zSeneca, Lucius Annaeus <4 a.C.-65> 790 0$aSeneca$c $3CFIV283388$zSeneca, Lucius Annaeus <4 a.C.-65> 790 1$aSeneca$b, Anneo$3MESV000892$zSeneca, Lucius Annaeus <4 a.C.-65> 790 1$aSeneca$b, Lucio Anneo$3SBNV036240$zSeneca, Lucius Annaeus <4 a.C.-65> 801 3$aIT$bIT-01$c20150824 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aRAV0255370 950 0$aBiblioteca umanistica Giorgio Aprea$d 52MAG 8 Coll B 81.1.2$e 52FLS0000238935 VMB RS $fA $h20210406$i20210406$d 52MAG 8 Coll B 81.1.2*$e 52FLS0000238945 VMB RS $fA $h20210406$i20210406 977 $a 52 996 $aEpistulae ad Lucilium$916771 997 $aUNICAS LEADER 04841nam 2200649 a 450 001 9910484413103321 005 20251117070025.0 010 $a3-540-78743-7 024 7 $a10.1007/978-3-540-78743-3 035 $a(CKB)1000000000490602 035 $a(SSID)ssj0000317836 035 $a(PQKBManifestationID)11240625 035 $a(PQKBTitleCode)TC0000317836 035 $a(PQKBWorkID)10295592 035 $a(PQKB)10989759 035 $a(DE-He213)978-3-540-78743-3 035 $a(MiAaPQ)EBC3068749 035 $a(PPN)125218567 035 $a(Au-PeEL)EBL3068749 035 $a(CaPaEBR)ebr10533936 035 $a(CaONFJC)MIL185650 035 $a(OCoLC)233974013 035 $a(EXLCZ)991000000000490602 100 $a20080220d2008 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental approaches to software engineering $e11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /$fJose Luiz Fiadeiro, Paola Inverardi (eds.) 205 $a1st ed. 2008. 210 $aBerlin ;$aNew York $cSpringer$d2008 215 $a1 online resource (XIII, 434 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v4961 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-78742-9 320 $aIncludes bibliographical references and index. 327 $aRequirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What?s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). 330 $aThis proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components. 410 0$aLecture notes in computer science ;$v4961. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 517 3 $aJoint European Conferences on Theory and Practice of Software 517 1 $aEuropean Joint Conferences on Theory and Practice of Software 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a005.1 701 $aFiadeiro$b Jose Luiz$f1961-$01756321 701 $aInverardi$b Paola$0955553 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484413103321 996 $aFundamental approaches to software engineering$94198716 997 $aUNINA