Formal methods for design automation application development

Bachrach, Hillel E

Formal methods for design automation application development

Download

Name

37739630-MIT.pdf

Description

Full printable version

Size

11.97 MB

Format

Adobe PDF

Checksum (MD5)

b1aadc05065a5919e7a6c6f3fe1eb64e

Author(s)

Bachrach, Hillel E

Advisor(s)

Anna Thornton.

Date Issued

1997

Publisher

Massachusetts Institute of Technology

Description

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.

Includes bibliographical references (p. 76-79).

Subjects

Mechanical Engineering

MIT Department

Massachusetts Institute of Technology. Department of Mechanical Engineering

Terms of Use

M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.

http://dspace.mit.edu/handle/1721.1/7582

Persistent DSpace Link

http://hdl.handle.net/1721.1/43427