Invariants : a generative approach to programming /
Zingaro, Daniel.
Includes bibliography.
Invariants.
Number theory.
Computer science
Computer programming.
Computer algorithms.
Current Copyright Fee: GBP17.50