Logique temporelle : sémantique et validation de programmes parallèles
Eric Audureau- 01/01/1990
- Elsevier Masson
Résumé
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Eric Audureau
- Nombre de pages : 240
- ISBN : 9782225819674
- Date de publication : 1 janvier 1990
- Dimensions (L x H x E cm) : 17 X 25 X 1.7
- Poids (g) : 547
- Reliure : Relié
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
