Formal methods for design automation application development
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/43427 |
| _version_ | 1826208337878843392 |
|---|---|
| author | Bachrach, Hillel E |
| author2 | Anna Thornton. |
| author_facet | Anna Thornton. Bachrach, Hillel E |
| author_sort | Bachrach, Hillel E |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997. |
| first_indexed | 2024-09-23T14:04:10Z |
| format | Thesis |
| id | mit-1721.1/43427 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T14:04:10Z |
| publishDate | 2008 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/434272019-04-11T04:26:51Z Formal methods for design automation application development Bachrach, Hillel E Anna Thornton. Massachusetts Institute of Technology. Dept. of Mechanical Engineering Mechanical Engineering Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997. Includes bibliographical references (p. 76-79). by Hillel E. Bachrach. M.S. 2008-11-07T19:39:52Z 2008-11-07T19:39:52Z 1997 1997 Thesis http://hdl.handle.net/1721.1/43427 37739630 eng 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 105 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Mechanical Engineering Bachrach, Hillel E Formal methods for design automation application development |
| title | Formal methods for design automation application development |
| title_full | Formal methods for design automation application development |
| title_fullStr | Formal methods for design automation application development |
| title_full_unstemmed | Formal methods for design automation application development |
| title_short | Formal methods for design automation application development |
| title_sort | formal methods for design automation application development |
| topic | Mechanical Engineering |
| url | http://hdl.handle.net/1721.1/43427 |
| work_keys_str_mv | AT bachrachhillele formalmethodsfordesignautomationapplicationdevelopment |