Invariants: A Generative Approach to Programming: A Generative Appraoch to Programming (Texts in Computer Science)

by Daniel Zingaro Paperback details (UK). ISBN: 978-1-904987-83-3 ISBN-10: 1-904987-83-4 College Publications · 2008