000 02960nam a22005655i 4500
001 978-3-642-13678-8
003 DE-He213
005 20140220084539.0
007 cr nn 008mamaa
008 100625s2010 gw | s |||| 0|eng d
020 _a9783642136788
_9978-3-642-13678-8
024 7 _a10.1007/978-3-642-13678-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aAldini, Alessandro.
_eeditor.
245 1 0 _aFormal Methods for Quantitative Aspects of Programming Languages
_h[electronic resource] :
_b10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
_cedited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aVII, 169p. 31 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6154
505 0 _aProbabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
520 _aThis book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.
650 0 _aComputer science.
650 0 _aMonoclonal antibodies.
650 0 _aSoftware engineering.
650 0 _aInformation systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aAntibodies.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aInformation Systems Applications (incl.Internet).
700 1 _aBernardo, Marco.
_eeditor.
700 1 _aPierro, Alessandra.
_eeditor.
700 1 _aWiklicky, Herbert.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642136771
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6154
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-13678-8
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c112319
_d112319