TY - BOOK AU - smyth,michael p. TI - .mathematics the formal tools of engineering smyth,michael p CY - 1st ed | .Reading,Mass., Addison-Wesley ER -