Verified Functional Programming in Agda Aaron Stump Datum izdaje: 2016 ISBN: 9781970001273 Razpoložljivost: Na zalogi Vezava: Trda vezava 87,39 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Programming Language Foundations Aaron Stump Datum izdaje: 23. september 2013 ISBN: 9781118007471 Razpoložljivost: Na zalogi Vezava: Mehka vezava 144,89 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Verified Functional Programming in Agda Aaron Stump (author), M. Tamer Özsu (editor), Association for Computing Machinery (publisher) Datum izdaje: 2016 ISBN: 9781970001242 Razpoložljivost: Na zalogi Vezava: Mehka vezava 71,03 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Programming Language Foundations Wiley E-Text Reg Card Aaron Stump ISBN: 9781118581940 Razpoložljivost: Ni podatka Vezava: Mehka vezava 86,72 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo