000			00579nam a2200217Ia 4500
001			23074
005			20250221151738.0
008			250214s9999||||xx |||||||||||||| ||und||
020			_a521792479
100			_aAntonsson, Erik K, ed.
245		0	_aFormal engineering design synthesis
245		0	_bbasic tools
260			_aCambridge
260			_bCambridge University Press
260			_c2001
300			_axxv, 470p. : ill.
500			_aIncludes bibliographical references and index.
650			_aEngineering design
700			_aCagan, Jonathan, ed.
942			_cBK
999			_c39026 _d39026