Ergebnisse filtern
-
- 3
- 1
-
- 3
- 1
-
- 1
- 1
- 1
- 1
-
- 1
- 3
-
- 4
-
- 4
-
- 4
-
Stump Verified Functional Programming in Agda
Erscheinungsjahr 2016Verlag: Association for Computing Machinery and Morgan & Claypool PublishersISBN: 978-1-970001-26-6Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark62,49 € (inkl. MwSt.)
sofort verfügbar -
Stump Verified Functional Programming in Agda
Erscheinungsjahr 2016Verlag: ACM BooksISBN: 978-1-970001-24-2Medium: Buch112,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stump Programming Language Foundations
1. Auflage 2013Verlag: WileyISBN: 978-1-118-00747-1Medium: Buch124,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stump Verified Functional Programming in Agda
Erscheinungsjahr 2016Verlag: Association for Computing Machinery 6504698ISBN: 978-1-970001-27-3Medium: Buch105,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort