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

Prix à partir de
35,10

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

35,10 €

35,10 €

Description (0)

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

Spécifications du produit

Marque NobleTrex Press
EAN
  • 9798896650058

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,47 €
Comparer 2 magasins 2 magasins

Independently Published

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

29,79 €
Comparer 2 magasins 2 magasins

Independently Published

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

31,41 €
Comparer 2 magasins 2 magasins

Packt Publishing

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

24,31 €
Comparer 2 magasins 2 magasins
Choix en vedette
35,10 €
Voir l’offre