Aaron Stump - Verified Functional Programming in Agda (Acm Books)

Brand : ACM Books, Binding : Taschenbuch, Label : ACM Books, Publisher : ACM Books, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 284, publicationDate : 2016-02-01, releaseDate : 2016-02-01, authors : Aaron Stump, ISBN : 1970001240 ...