Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Systèmes de transitions finis et sémantique des processus communicants

Éditeur(s) : Elsevier Masson
Ces programmes séquentiels itératifs permettent de modéliser un processus, son état et son évolution dans le temps. Cette étude insiste sur le produit synchronisé, et présente des langages formalisés logiques et leurs propriétés, précisant la notion d'indiscernabilit...
30,45 €
Chargement...

Mathématiques pour l'informatique : avec exercices corrigés

Éditeur(s) : Elsevier Masson
Présente des notions mathématiques nécessaires aux étudiants en licence en informatique. ©Electre 2025
42,90 €
Chargement...

Mathématiques pour l'informatique : avec 309 exercices corrigés : 75% cours + 25% exos, 2e année

Éditeur(s) : Ediscience international
Présente des notions mathématiques nécessaires aux étudiants en licence en informatique. Illustration de la théorie par plus de 300 exercices. ©Electre 2025
29,00 €
Chargement...
1