Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Prix à partir de
51,00

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

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:

51,00 € Total 51,01 €

51,00 € Total 51,01 €

Description (0)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Spécifications du produit

Marque MIT Press
EAN
  • 9780262545747

Independently Published

An Introduction to Assembly Programming with RISC V

9,95 €
Comparer 2 magasins 2 magasins

Focal Press

Introduction to Digital Music with Python Programming

47,65 €
Comparer 2 magasins 2 magasins

The Pragmatic Programmers

Programming Ruby 4: The Pragmatic Programmer's Guide

69,90 €
Comparer 2 magasins 2 magasins

Springer

Introduction to the Theory of Programming Languages

36,87 €
Comparer 2 magasins 2 magasins
Choix en vedette
51,00 €
Voir l’offre