The Deductive Foundations of Computer Programming

Foundations

by: Zohar Manna · Richard Waldinger

Paperback

ISBN: 978-0-201-54886-0

ISBN-10: 0-201-54886-0

Addison-Wesley Professional · 1993