Your search returned 2 results.

Results
		Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others]. by Roever, W.-P. de, 1943- [author.] Engelhardt, Kai, 1966- [author.] Buth, Karl-Heinz [author.] Series: Cambridge tracts in theoretical computer science ; 47. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1998 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter. by Carpenter, Bob [author.] Series: Cambridge tracts in theoretical computer science ; 32. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1992 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

National Science Library of Georgia