00540nam a2200169   4500001001400000003000700014005001700021020001500038040000800053245008800061260006500149300003400214504005000248650002300298700002300321700002600344vtls000004414KUKTEM20251117142100.0  a0521792479  aUMP00aFormal engineering design synthesis /c edited by Erik K. Antonsson, Jonathan Cagan  aCambridge, UK; New York:bCambridge University Press,c 2001  axxv, 470 p.:b ill.;c 26 cm.  aIncludes bibliographical references and index00aEngineering design12aAntonsson, Erik K.12aCagan, Jonathan 1961-