000			00996nam#a2200217ua#4500
001			GOACATREC95902
008			041005s2004 gw a b 101 0 eng
245	0	0	_aFormal methods and software engineering : _cJim Davies, Wolfram Schulte, Mike Barnett (eds.). _b6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
111	0	0	_aInternational Conference on Formal Engineering Methods _cSeattle, Wash.) _d2004 : _n(6th :
250	0	0	_a1st ed.
260	0	0	_bSpringer, _aNew York : _c2004
020	0	0	_a3540238417 (softcover : alk. paper)
300	0	0	_axiii, 500 p. : _bill. ; _c24 cm.
700	0	0	_aDavies, Jim, _d1964-
700	0	0	_aSchulte, Wolfram.
700	0	0	_aBarnett, Mike, _d1957-
650	0	0	_aFormal methods (Computer science) _vCongresses.
650	0	0	_aSoftware engineering _vCongresses.
504	0	0	_aIncludes bibliographical references and index.
440	0	0	_aLecture notes in computer science, _v3308 _x0302-9743 ;
999			_c95451 _d95451