Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Computational thinking / Peter J. Denning and Matti Tedre.

by Denning, Peter J, 1942- [author.] | Tedre, Matti [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.

by Friedman, Daniel P [author.] | Christiansen, David Thrane [author.] | Bibby, Duane [illustrator.] | Harper, Robert, 1957- | McBride, Conor | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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