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

Preise von
37,10

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon 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

Preise zuletzt aktualisiert am:

Independently Published

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

184,22 €
Weitere Informationen Mehr Infos

HiTeX Press

Mastering Quantum Programming with Qiskit: A Practical Guide

38,01 €
Weitere Informationen Mehr Infos

Packt Publishing

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

30,99 €
Weitere Informationen Mehr Infos

O'reilly

Efficient R Programming: A Practical Guide to Smarter Programming

27,41 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
37,10 €
Zum Shop