Logique pour les programmeurs
A

Logique pour les programmeurs

SQL
formal logic programming testing verification TLA+ SMT Prolog
Auteur
Hillel Wayne
Éditeur
Self-published
Année
2025
Langue
Anglais
31
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Principes de la Programmation Orientée Objet

Principes de la Programmation Orientée Objet

Non spécifié

Meilleur code Python : Guide pour les futurs experts

Meilleur code Python : Guide pour les futurs experts

David Mertz

JavaScript Core : Le Guide Complet

JavaScript Core : Le Guide Complet

Cay S. Horstmann

Apprenez la programmation avec C : un livre facile étape par étape pour apprendre le C en autodidacte

Apprenez la programmation avec C : un livre facile étape par étape pour apprendre le C en autodidacte

Sazzad M.S. Imran, Ph.D., Md Atiqur Rahman Ahad, Ph.D.

Comment utiliser Python

Comment utiliser Python

Ben Good

Programmer avec Haskell

Programmer avec Haskell

Will Kurt

MATHÉMATIQUES POUR LA PROGRAMMATION : Apprenez les Maths, Écrivez un Meilleur Code

MATHÉMATIQUES POUR LA PROGRAMMATION : Apprenez les Maths, Écrivez un Meilleur Code

Ronald T. Kneusel

De Ruby à Golang : Guide d'un programmeur Ruby pour apprendre Go

De Ruby à Golang : Guide d'un programmeur Ruby pour apprendre Go

Joel Bryan Juliano

Maîtriser.l'Analyse.de.Données.avec.Python

Maîtriser.l'Analyse.de.Données.avec.Python

La voie Haskell vers la logique, les mathématiques et la programmation

La voie Haskell vers la logique, les mathématiques et la programmation

Kees Doets, Jan van Eijck