000			01586nam a2200373Ia 4500
001			EBC3035646
003			MiAaPQ
005			20240121041849.0
006			m o d |
007			cr cn|||||||||
008			010905s2001 nyua sb 101 0 eng d
015			_aGBA1-51008
020			_z0792374703
035			_a(MiAaPQ)EBC3035646
035			_a(Au-PeEL)EBL3035646
035			_a(CaPaEBR)ebr10052659
035			_a(CaONFJC)MIL20575
035			_a(OCoLC)923696463
040			_aMiAaPQ _cMiAaPQ _dMiAaPQ
050		4	_aQA76.9.F67 _bI579 2001
082	0	4	_a004.36 _221
111	2		_aFORTE 2001 _d(2001 : _cCheju-do, Korea)
245	1	0	_aFormal techniques for networked and distributed systems _h[electronic resource] : _bFORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / _cedited by Myungchul Kim ... [et al.].
260			_aNew York : _bKluwer Academic, _cc2001.
300			_axii, 458 p. : _bill.
504			_aIncludes bibliographical references and index.
533			_aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	_aElectronic data processing _xDistributed processing _vCongresses.
650		0	_aFormal methods (Computer science) _vCongresses.
655		4	_aElectronic books.
700	1		_aKim, Myungchul.
710	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3035646 _zClick to View
999			_c157463 _d157463