Logique temporelle / Audureau, Éric (1990)

Public ISBD Titre : Logique temporelle : sémantique et validation de programmes parallèles Type de document : texte imprime Auteurs : Audureau, Éric, Auteur ; Enjalbert, Patrice, Auteur ; Fariñas del Cerro, Luis, Auteur ; Engeler, Erwin, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1990 Collection : Etude et recherche en informatique Importance : (VI-234 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 225-232. Index Langues : Français Mots-clés : Langages de programmation:sémantique  Parallélisme (informatique)  Modalité (logique)  Programmation logique  Programmation parallèle (informatique) Index. décimale : 005131/00432 Permalink : ./index.php?lvl=notice_display&id=11852 Logique temporelle : sémantique et validation de programmes parallèles [texte imprime] / Audureau, Éric, Auteur ; Enjalbert, Patrice, Auteur ; Fariñas del Cerro, Luis, Auteur ; Engeler, Erwin, Préfacier, etc. . - Paris : Masson, 1990 . - (VI-234 p.) : ill. ; 25 cm. - (Etude et recherche en informatique) . ISBN : 978-2-225-81967-4 Bibliogr. p. 225-232. Index Langues : Français Mots-clés : Langages de programmation:sémantique  Parallélisme (informatique)  Modalité (logique)  Programmation logique  Programmation parallèle (informatique) Index. décimale : 005131/00432 Permalink : ./index.php?lvl=notice_display&id=11852

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
IA318/1	IA318	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Consultation sur place Exclu du prêt
IA318/2	IA318	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Disponible
IA318/3	IA318	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Disponible
IA318/4	IA318	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1