BIBLIOTHEQUE CENTRALE
Détail de l'auteur
Auteur Audureau Eric |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
logique temprelle: sémantique et validation de programmes parallèles. / Audureau Eric
Titre : logique temprelle: sémantique et validation de programmes parallèles. Type de document : texte imprimé Auteurs : Audureau Eric Editeur : Paris [France] : Masson Langues : Français (fre) Index. décimale : 004 Traitement de données. Informatique logique temprelle: sémantique et validation de programmes parallèles. [texte imprimé] / Audureau Eric . - Paris (France) : Masson, [s.d.].
Langues : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 01/68068 L/004.573 Livre Bibliothèque Centrale indéterminé Exclu du prêt