000			01390nam a2200313 a 4500
001			vtls000025799
003			KUKTEM
005			20251117145300.0
008			080327s gw a b 101 0 eng
020			_a3540731954 (pbk.)
020			_a9783540731955 (pbk.)
039		9	_a201107132105 _bVLOAD _c200908141546 _dVLOAD _c200908141517 _dVLOAD _c200908132045 _dVLOAD _y200803270939 _zshah
040			_aUMP
090			_aQA76.9.F67 F67 2007
111	2		_aFORTE 2007 _d(2007 : _cTallinn, Estonia)
245	1	0	_aFormal techniques for networked and distributed systems : _bFORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / _cJohn Derrick, Jüri Vain (eds.).
246	3	0	_aFORTE 2007
260			_aBoca Raton : _bSpringer , _c2007
300			_aBerlin ; _aNew York : _bSpringer, _cc2007.
440		0	_aLecture notes in computer science, _x0302-9743 ; _v4574
504			_aIncludes bibliographical references and index.
650		0	_aFormal methods (Computer science) _vCongresses.
650		0	_aElectronic data processing _xDistributed processing _vCongresses.
650		0	_aComputer network protocols _vCongresses.
700	1		_aDerrick, John.
700	1		_aVain, Jüri.
710	2		_aIFIP Working Group 6.1.
999			_aVIRTUA40 _c43050 _d43056
999			_aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2460*2600*3000*4400*5040*6500*6501*6502*7000*7001*7100*9991