03893nam 22008055 450 99646584860331620201107073039.01-280-38722-X97866135651433-642-13678-810.1007/978-3-642-13678-8(CKB)2670000000028943(SSID)ssj0000446474(PQKBManifestationID)11297677(PQKBTitleCode)TC0000446474(PQKBWorkID)10496328(PQKB)10081136(DE-He213)978-3-642-13678-8(MiAaPQ)EBC3065467(PPN)149063946(EXLCZ)99267000000002894320100625d2010 u| 0engurnn|008mamaatxtccrFormal Methods for Quantitative Aspects of Programming Languages[electronic resource] 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures /edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (VII, 169 p. 31 illus.) Programming and Software Engineering ;6154Bibliographic Level Mode of Issuance: Monograph3-642-13677-X Includes bibliographical references and index.Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.Programming and Software Engineering ;6154Software engineeringImmunologyAntibodiesMathematical logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Immunologyhttps://scigraph.springernature.com/ontologies/product-market-codes/B14000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Antibodieshttps://scigraph.springernature.com/ontologies/product-market-codes/B14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Bertinoro <2010>swdSoftware engineering.Immunology.Antibodies.Mathematical logic.Programming languages (Electronic computers).Software Engineering.Immunology.Software Engineering/Programming and Operating Systems.Antibodies.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.005.131Aldini Alessandroedthttp://id.loc.gov/vocabulary/relators/edtBernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtDi Pierro Alessandraedthttp://id.loc.gov/vocabulary/relators/edtWiklicky Herbertedthttp://id.loc.gov/vocabulary/relators/edtInternational School on Formal Methods for the Design of Computer, Communication, and Software SystemsBOOK996465848603316Formal Methods for Quantitative Aspects of Programming Languages2832061UNISA