Tarver
Subtitle: Functional Programming and Automated Reasoning in Sequel
Publisher: Wiley & Sons, Incorporated, John
Published: 1997
Language: eng
ISBN-13: 9780471956822
Subjects: Functional programming (computer science)