Invariants : A Generative Approach to Programming, Paperback by Zingaro, Dani...

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

Invariants : A Generative Approach to Programming, Paperback by Zingaro, Dani...

Daniel Zingaro Invariants (Paperback) Texts in Computer Science (UK IMPORT)

On Concurrent Programming (Texts in Computer Science)

Texts in Computer Science Ser.: Programming Challenges : The Programming Contest

Computer Science in K-12: An A-To-Z Handbook on Teaching Programming

An Integrated Approach to Software Engineering (Texts in Computer Science)