Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Concepts et sémantique des langages de programmation. Vol. 1. Constructions fonctionnelles et impératives avec OCaml, Python, C et C ++

Éditeur(s): Iste éditions
Une présentation des constructions syntaxiques des langages de programmation et de leur sémantique, notamment de typage et d'exécution. Ce volume est consacré aux traits fonctionnels et impératifs, avec des exercices et la représentation des données détaillée : filtr...
109,72 €
Chargement...

Concepts et sémantique des langages de programmation. Vol. 2. Constructions modulaires et objet avec OCaml, Python, C ++, Ada et Java

Éditeur(s): Iste éditions
Ce second volume présente un modèle sémantique adapté aux constructions et aux opérations des modules et des classes, telles que l'importation, la visibilité, les extensions ou la paramétrisation par types et valeurs. Ce modèle est décliné pour modéliser les traits o...
88,62 €
Chargement...

Technique et science informatiques, n° 5 (2015). Approches formelles pour le développement de logiciels

Éditeur(s): Lavoisier-Hermès
Ce numéro propose une version révisée et étendue de cinq articles présentés lors des journées AFALD (Approches formelles dans l'assistance au développement de logiciels). Ils portent sur les techniques et outils formels dans la construction de logiciels et de système...
54,00 €
Chargement...

Apprentissage de la programmation avec OCaml

Éditeur(s): Lavoisier-Hermès
Ouvrage destiné aux débutants en programmation et support pédagogique pour les programmeurs souhaitant aborder le style fonctionnel. Utilise le langage Objective Caml, OCalm dans la suite de la famille ML. En deux parties : les éléments de programmation (concepts de ...
125,00 €
Chargement...
1