Correct by Construction in F#
Publisher: Pearson Education, Limited
Published: 2020
Language: eng
Number of pages: 400
ISBN-13: 9780321658715