Umfang:
Online-Ressource (VII, 169p. 31 illus, digital)
ISBN:
9783642136788
,
128038722X
Serie:
Lecture Notes in Computer Science 6154
Inhalt:
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 9783642136771
Weitere Ausg.:
Buchausg. u.d.T. Formal methods for quantitative aspects of programming languages Berlin : Springer, 2010 ISBN 9783642136771
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Formal methods for quantitative aspects of programming languages Berlin [u.a.] : Springer, 2010 ISBN 364213677X
Weitere Ausg.:
ISBN 9783642136771
Sprache:
Englisch
Schlagwort(e):
Formale Methode
;
Programmiersprache
;
Programmanalyse
;
Formale Methode
;
Programmiersprache
;
Programmanalyse
;
Konferenzschrift
DOI:
10.1007/978-3-642-13678-8
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
