Formal methods for design automation application development

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

Bibliográfalaš dieđut
Váldodahkki:	Bachrach, Hillel E
Eará dahkkit:	Anna Thornton.
Materiálatiipa:	Oahppočájánas
Giella:	eng
Almmustuhtton:	Massachusetts Institute of Technology 2008
Fáttát:	Mechanical Engineering
Liŋkkat:	http://hdl.handle.net/1721.1/43427

Interneahtta

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