Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Relié
Nb de pages : 240 pages
Poids : 547 g
Dimensions : 17cm X 25cm
EAN : 9782225819674
Logique temporelle
sémantique et validation de programmes parallèles
Chez
Elsevier Masson
Collection(s) |
Etudes et recherches en informatique
Paru le 01/01/1990
Relié
240 pages
Quatrième de couverture
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.
