The Evolution of Programs (Progress in Computer Science and Applied Logic)

by Dershowitz Paperback details (USA). ISBN: 978-0-8176-3171-0 ISBN-10: 0-8176-3171-2 Springer · 1983