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

Preise von
37,10

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon 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)

Shop
Preis
Versandkosten
Total price
Amazon Logo
37,10 €
Gratis
37,10 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
37,10 €
Gratis
37,10 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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

Independently Published

Mastering Honeywell Experian PKS Part 1:: A Practical Guide to DCS Programming and Configuration

184,22 €
2 Shops vergleichen 2 Shops

HiTeX Press

Mastering Quantum Programming with Qiskit: A Practical Guide

38,01 €
2 Shops vergleichen 2 Shops

Packt Publishing

Mastering Linux Shell Scripting Second Edition: A practical guide to command line,...

30,99 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
37,10 €
Zum Shop