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, 2010, Advanced Lectures

Bibliographic Details
Other Authors: Aldini, Alessandro (Editor), Bernardo, Marco (Editor), Di Pierro, Alessandra (Editor), Wiklicky, Herbert (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 01740nmm a2200373 u 4500
001 EB000384637
003 EBX01000000000000000237689
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642136788 
100 1 |a Aldini, Alessandro  |e [editor] 
245 0 0 |a Formal Methods for Quantitative Aspects of Programming Languages  |h Elektronische Ressource  |b 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures  |c edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky 
250 |a 1st ed. 2010 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010, 2010 
300 |a VII, 169 p. 31 illus  |b online resource 
505 0 |a Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Software Engineering 
653 |a Immunospecificity 
653 |a Adaptive Immunity 
653 |a Formal Languages and Automata Theory 
653 |a Immunology 
653 |a Machine theory 
700 1 |a Bernardo, Marco  |e [editor] 
700 1 |a Di Pierro, Alessandra  |e [editor] 
700 1 |a Wiklicky, Herbert  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
856 4 0 |u https://doi.org/10.1007/978-3-642-13678-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1