Subscribe now

Tobias Nipkow

Format

Books by Tobias Nipkow

Related Series

Listen and read

Step into an infinite world of stories

  • Listen and read as much as you want
  • Over 400 000+ titles
  • Bestsellers in 10+ Indian languages
  • Exclusive titles + Storytel Originals
  • Easy to cancel anytime
Subscribe now
Details page - Device banner - 894x1036
Cover for Functional Data Structures and Algorithms: A Proof Assistant Approach
Company
Explore
Useful links
Language and region

  • English

  • India

  • App Store
  • Google Play
Follow us