Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Preise von
35,10

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

35,10 €

Beschreibung (0)

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

Produktspezifikationen

Marken NobleTrex Press
EAN
  • 9798896650058

Independently Published

Mastering Cursor IDE: A Practical Guide to AI-Assisted Programming and Modern Software Development

30,07 €
Weitere Informationen Mehr Infos

Independently Published

Mastering STM32: A Practical Guide to Embedded Systems Programming with CubeIDE, HAL & FreeRTOS

24,79 €
Weitere Informationen Mehr Infos

Independently Published

Mastering Claude Code Handbook: A Practical Guide to AI-Assisted Programming, Automation, and...

28,06 €
Weitere Informationen Mehr Infos

Independently Published

Mastering VBScript Programming: A Complete Guide to Windows Automation, Scripting Techniques, System...

26,71 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
35,10 €
Zum Shop