Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.] | Jaume, Mathieu. Auteur
/5

0 avis

Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]

Livre

Jaume, Mathieu. Auteur | Journault, Matthieu (1991-....). Auteur | Lesot, Marie-Jeanne (1978-....). Auteur | Manoury, Pascal. Auteur | Mounier, Isabelle. Auteur

Edited by Ellipses - 2020

Autres documents dans la collection «Références sciences»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Concepts et sémantique des langages de programmation. 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] | Accart Hardin, Thérèse. Auteur

Concepts et sémantique des langages de programmation. 2, Constructions modu...

Livre | Accart Hardin, Thérèse. Auteur | 2021

"Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le coda...

Concepts et sémantique des langages de programmation. 1, Constructions fonctionnelles et impératives avec OCaml, Python, C et C++ / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] | Accart Hardin, Thérèse. Auteur

Concepts et sémantique des langages de programmation. 1, Constructions fonc...

Livre | Accart Hardin, Thérèse. Auteur | 2021

Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codag...

Du même sujet

Introduction à la logique standard : calcul des propositions, des prédicats et des relations / Denis Vernant | Vernant, Denis (1948-....) - philosophe. Auteur

Introduction à la logique standard : calcul des propositions, des prédicats...

Livre | Vernant, Denis (1948-....) - philosophe. Auteur | 2001

Isagoge / Porphyre | Πορφύριος ὁ Τύριος (0234?-0305?). Auteur

Isagoge / Porphyre

Livre | Πορφύριος ὁ Τύριος (0234?-0305?). Auteur | 1998

Mathematical logic for computer science / Mordechai Ben-Ari | Ben-Ari, Mordechai (1948-....). Auteur

Mathematical logic for computer science / Mordechai Ben-Ari

Livre | Ben-Ari, Mordechai (1948-....). Auteur | 2001 - 2nd ed.

Leçons sur l'informatique / Richard P. Feynman | Feynman, Richard Phillips (1918-1988). Auteur

Leçons sur l'informatique / Richard P. Feynman

Livre | Feynman, Richard Phillips (1918-1988). Auteur | 2006

Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet, Pascal Gribomont | Gochet, Paul (1932-2011). Auteur

Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

Chargement des enrichissements...