000			01160 a2200265 4500
001			329313
003			OSt
005			20240508142108.0
008			220610b |||||||| |||| 00| 0 eng d
020			_a978-3-642-13464-7
040			_cIITB
041			_aeng
245			_aFormal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book)
260			_aBerlin _bSpringer _c2010
440			_922935 _aLecture Notes in Computer Science (LNCS) _vv.6117
440			_944995 _aLNCS Sublibrary : SL 2 – Programming and Software Engineering
650			_aComputer Science and Engineering _97673
650		0	_aElectronic data processing _96329 _xDistributed processing _vCongresses
650		0	_aObject-oriented programming(Computer science) _vCongresses _951986
650		0	_aFormal methods (Computer science) _vCongresses _96794
700			_aHatcliff, John _eEditor _937576
700			_aZucca, Elena _eEditor _951988
856			_uhttps://doi.org/10.1007/978-3-642-13464-7
942			_cEB _2udc
999			_c172794 _d172794