Unifying Theories of Programming

by: C. A. R. Hoare · He Jifeng

Hardcover

ISBN: 978-0-13-458761-5

ISBN-10: 0-13-458761-8

See also (possibly by other authors):
	Taschenbuch	Unifying Theories of Programming