Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Programming languages and operational semantics : a concise overview / Maribel Fernandez. by Fernandez, Maribel [author.] Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: New york : Springer, c2014 Availability: Items available for loan: Central Library, SUST (5)Call number: 005.13 FEP, ... Place hold Add to cart (remove)
	2.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Dijkstra, Edsger Wybe Scholten, Carel S Series: Texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1990 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 DIP, ... Place hold Add to cart (remove)

Refine your search