Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 20...

Gespeichert in:

Personen und Körperschaften:	Aldini, Alessandro (VerfasserIn), Bernardo, Marco (Sonstige), Pierro, Alessandra (Sonstige), Wiklicky, Herbert (Sonstige)
Titel:	Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures/ edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6154
Schlagwörter:	Computer science Monoclonal antibodies Information systems Computer Science Software engineering Immunology. Immunospecificity. Machine theory. Compilers (Computer programs). Konferenzschrift > 2010 > Bertinoro
Buchausg. u.d.T.:	Formal methods for quantitative aspects of programming languages, Berlin : Springer, 2010, 167 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
Umfang:	Online-Ressource (VII, 169p. 31 illus, digital)
ISBN:	9783642136788
DOI:	10.1007/978-3-642-13678-8