Domov / Knjiga

Verified Functional Programming in Agda

Aaron Stump

Založnik: Morgan & Claypool Publishers

Brezplačna dostava v Slovenijo.

Kategorije