Tools and Notions for Program Construction: An Advanced Course

by D. Néel

Hardcover

details (UK).

ISBN: 978-0-521-24801-3

ISBN-10: 0-521-24801-9

Cambridge University Press · 1982