Your search returned 3 results.

Results
	1.	No cover image available Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby. by Harrison, M. D. (Michael D.) Thimbleby, Harold Series: Cambridge series on human-computer interaction ; 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1990 Online access: Publisher description Table of contents only Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.H85 F67 1990. Place hold Add to cart (remove)
	2.	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2000 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.L63 H37 2000. Place hold Add to cart (remove)
	3.	Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince. by Hekmatpour, Sharam, 1961- Ince, D. (Darrel) Series: International computer science series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Wokingham, Eng ; Reading, MA : Addison-Wesley, c1988 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.D47 H45 1988. Place hold Add to cart (remove)

© The University of Dodoma 2020