Logique temporelle / Eric Audureau

Public ISBD Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : 234 p Présentation : ill., couv. ill Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Programmation logique  Programmation parallèle (informatique) Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p : ill., couv. ill ; 25 cm. - (Etudes et recherches en informatique) . ISBN : 978-2-225-81967-4 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Programmation logique  Programmation parallèle (informatique)

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.60.02	INF 07.60.02	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-10-1	511.3-10-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-10-2	511.3-10-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

---

page 1/1