Automating abstraction functions

Automating abstraction functions

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Rayside, Derek F
Rannpháirtithe: Daniel Jackson.
Formáid: Tráchtas
Teanga:eng
Foilsithe / Cruthaithe: Massachusetts Institute of Technology 2011
Ábhair:
Electrical Engineering and Computer Science.
Rochtain ar líne:http://hdl.handle.net/1721.1/62439

Ar líne

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

Míreanna comhchosúla