Opening book details…
Can I read Functional Algorithms, Verified! 1 1 on EtoBox?
Functional Algorithms, Verified! 1 1 by Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan is a work of fiction available to read on EtoBox.
What is Functional Algorithms, Verified! 1 1 about?
This book is an introduction to data structures and algorithms for functional languages, with a focus on proofs. It covers both functional correctness and running time analysis. It does so in a unified manner with inductive proofs about functional programs and their running time functions. All proofs have been machine-checked by the proof assistant Isabelle. The pdf contains links to the corresponding Isabelle theories.
Who reads Functional Algorithms, Verified! 1 1?
It is typically read by readers looking for immersive, entertainment-first reading.
Common subject areas: fiction, literature, genre fiction.
- Author
- Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
- Publisher
- Independent
- Published
- 2021
- Language
- EN
- Category
- work of fiction
More by Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
Similar books
- Algorithms: 3 Books in 1 : Practical Guide to Learn Algorithms for Beginners + Design Algorithms to Solve Common Problems + Advanced Data Structures for Algorithms — Andy Vickler Narrated Byhelpful Matthew (2022)
- Dictionary Of Nutraceuticals And Functional Foods (functional Foods And Nutraceuticals) — Eskin, N. A. M.; Tamir, Snait. (2005)
- An Introduction to Genetic Algorithms M Mitchell MIT (2002)
- Algorithms Python: Explains Algorithms With Beautiful Pictures Learn It Easy Better and Well — Yang Hu (2020)