Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci.

by A�it-Kaci, Hassan, 1954- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available

Algorithmic program debugging / Ehud Y. Shapiro.

by Shapiro, Ehud Y [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1983Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Thesis (Ph.D.)--Yale University, 1982. Online access: Abstract with links to resource Availability: No items available

The Practice of Prolog / edited by Leon S. Sterling.

by Sterling, Leon | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1990Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available