• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Functional Data Structures and Algorithms 9798400731594

Functional Data Structures and Algorithms

A Proof Assistant Approach

  • Autor(en) Tobias Nipkow
  • Verleger Veröffentlicht von ACM Books Copyright © 2025
  • "ISBN-13 9798400731594"
  • Format reflowable eBook

eBook

eTextbook-Lizenz
‌
€39.45 EUR
‌
‌

  • Studienhilfen

    Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr

  • Vorlesen

    Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest

  • Offline-Zugriff

    Greifen Sie jederzeit und überall auf Ihr eTextbook zu

  • Globale Suche

    Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.

Erfahren Sie mehr

Functional Data Structures and Algorithms: A Proof Assistant Approach verfasst von Tobias Nipkow und veröffentlicht von ACM Books. Die Digital- und eTextbook-ISBNs für Functional Data Structures and Algorithms lauten 9798400731563, und die Druck-ISBNs lauten 9798400731594, . Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck. Weitere ISBNs für dieses eTextbook enthalten 9798400731570.

Zurück nach oben