Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation. ©Electre 2024
Paru le : 01/01/1990
Thématique : Langages de programmation
Auteur(s) : Auteur : Eric Audureau Auteur : Patrice Enjalbert Auteur : Luis Farinas Del Cerro
Éditeur(s) :
Elsevier Masson
Collection(s) : Etudes et recherches en informatique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225819674
Reliure : Relié
Pages : 240
Hauteur: 25.0 cm / Largeur 17.0 cm
Épaisseur: 1.7 cm
Poids: 547 g
Carte fidélité
Mollat Radio
