Search alternatives:
tables algorithms » tableau algorithms, trees algorithms, tableau algorithm
Cover Image
Read Now

1
Published 1997
Springer Vienna
Table of Contents: “... Programs -- 9 Algorithms from Relational Specifications -- 10 Programs and Datatypes -- 11 Refinement...”