Logic of Programming and Calculi of Discrete Design
Publisher: Island Press
Published: 1987
Language: eng
ISBN-13: 9783642873751