|
|
|
|
LEADER |
01782nmm a2200385 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
|
028 |
5 |
0 |
|a 10.1007/978-3-642-13678-8
|
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
|