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

Preise von
37,10

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (2)

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 (2)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

37,10 €

37,10 €

Beschreibung (0)

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

Produktspezifikationen

Marken HiTeX Press
EAN
  • 9798896650058

Independently Published

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

30,07 €
2 Shops vergleichen 2 Shops

HiTeX Press

Mastering Quantum Programming with Qiskit: A Practical Guide

38,01 €
2 Shops vergleichen 2 Shops

Independently Published

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

26,71 €
2 Shops vergleichen 2 Shops

Law Brief Publishing Ltd

A Practical Guide to Identity Verification Under the Economic Crime and...

88,90 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
37,10 €
Zum Shop