000			01082 a2200253 4500
001			329482
003			OSt
005			20240514101001.0
008			220609b |||||||| |||| 00| 0 eng d
020			_a978-3-642-13678-8
040			_cIITB
041			_aeng
245			_aFormal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book)
260			_aBerlin _c2010 _bSpringer
440			_922935 _aLecture Notes in Computer Science (LNCS)
440			_944995 _aLNCS Sublibrary : SL 2 – Programming and Software Engineering
650			_aComputer Science and Engineering _97673
650		0	_aFormal methods (Computer science) _vCongresses _96794
650		0	_aProgramming languages (Electronic computers) _96613 _vCongresses
650			_aMonoclonal antibodies _vCongresses _952042
700			_aAldini, Alessandro ...[et al.] _eEditor _952043
856			_uhttps://doi.org/10.1007/978-3-642-13678-8
942			_cEB _2udc
999			_c173134 _d173133