Constructive Analysis and Synthesis of Programs
Publisher: Lulu Press, Inc.
Published: 2009
Language: eng
ISBN-13: 9781445206387
Subjects: Computer programming; System analysis