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 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 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...

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

Isagoge / Porphyre

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

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

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

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

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

Chargement des enrichissements...