IFIP TC 2/WG 2.1 Working Conference on Constructing Programs from Specifications (1991 Pacific Grove, Calif.)

Books by IFIP TC 2/WG 2.1 Working Conference on Constructing Programs from Specifications (1991 Pacific Grove, Calif.) on BookTides.