Adapting Proofs-as-Programs

*Adapting Proofs-as-Programs Adapting Proofs-as-Programs * - The Curry--Howard Protocol / pdf eBook für 149.99€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook

eBook.de