Your search returned 7 results.

Results
	1.	Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore. by Kaufmann, Matt Manolios, Panagiotis Moore, J Strother, 1947- Series: Advances in formal methods ; 3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Kluwer Academic Publishers, c2000 Online access: Publisher description Table of contents only Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.9.F67 K38 2000, ... Place hold Add to cart (remove)
	2.	Formal syntax and semantics of Java / Jim Alves-Foss (ed.). by Alves-Foss, James, 1964- Series: Lecture notes in computer science ; 1523 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c1999 Online access: Publisher description Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.73.J38 F67 1999. Place hold Add to cart (remove)
	3.	Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz. by Slonneger, Kenneth Kurtz, Barry L Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c1995 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.7 .S59 1995. Place hold Add to cart (remove)
	4.	Understanding word and sentence / edited / Greg B. Simpson. by Simpson, Gregory B Series: Advances in psychology (Amsterdam, Netherlands) ; 77. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; New York : North-Holland : Distributors for the U.S., Elsevier Science Pub. Co., 1991 Availability: Items available for loan: Education Library Collection (1)Call number: P37.5.C66 U5 1991. Place hold Add to cart (remove)
	5.	Meaning in language : an introduction to semantics and pragmatics / Alan Cruse by Cruse, D. A Series: Oxford textbooks in linguistics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford ; New York : Oxford University Press, 2004 Online access: Publisher description Table of contents only Availability: Items available for reference: Education Library Collection: Not For Loan (1)Call number: P 325 .C784 2004. Add to cart (remove)
	6.	Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz. by Slonneger, Kenneth Kurtz, Barry L Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c1995 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.7 .S59 1995. Place hold Add to cart (remove)
	7.	Formal specification of programming languages : a panoramic primer / Frank G. Pagan. by Pagan, Frank G Series: Prentice-Hall software series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.7 .P33 1981. Place hold Add to cart (remove)

© The University of Dodoma 2020