The University of Dodoma Library Catalog

Your search returned 4 results.

|
1. Everyday revolutionaries : working women and the transformation of American life / Sally Helgesen.

by Helgesen, Sally, 1948-.

Edition: 1st ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Doubleday, 1998Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: HD 6058 .H39 1998] (1).

2. Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby.

by Harrison, M. D. (Michael D.) | Thimbleby, Harold.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 1990Online access: Publisher description | Table of contents only Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA76.9.H85 F67 1990] (1).

3. Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, 2000Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA76.9.L63 H37 2000] (1).

4. Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince.

by Hekmatpour, Sharam, 1961- | Ince, D. (Darrel).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Wokingham, Eng ; Reading, MA : Addison-Wesley, c1988Availability: Items available for loan: Library Collection of Informatics and Virtual Education [Call number: QA76.76.D47 H45 1988] (1).

© The University of Dodoma 2020