Catalogue des ouvrages Université de Laghouat
|
Approches formelles pour le développement de logiciels Paru le : 01/02/2004 ISBN/ISSN/EAN : 978-2-7462-1016-5 | ![]() |
|
[n° ou bulletin]
[n° ou bulletin]
Numéro 7 - Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication ; Jeanine Souquières, Directeur de publication . - 2004. Langues : Français (fre)
|
Réservation
Réserver ce documentExemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| RV 11-201-1 | RV 11-201-1 | Périodique | BIBLIOTHEQUE DE FACULTE DES SCIENCES | Périodiques (SCI) | Disponible |
| RV 11-201-2 | RV 11-201-2 | Périodique | BIBLIOTHEQUE DE FACULTE DES SCIENCES | Périodiques (SCI) | Disponible |
Dépouillements
Ajouter le résultat dans votre panierValidation des règles de base de l'atelier B / Karim Berkani in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : Validation des règles de base de l'atelier B Type de document : texte imprimé Auteurs : Karim Berkani, Auteur ; Catherine Dubois, Auteur ; Alain Faivre, Auteur ; Jérome Falampin, Auteur Année de publication : 2004 Article en page(s) : P 855 à 878 Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 855 à 878[article] Validation des règles de base de l'atelier B [texte imprimé] / Karim Berkani, Auteur ; Catherine Dubois, Auteur ; Alain Faivre, Auteur ; Jérome Falampin, Auteur . - 2004 . - P 855 à 878.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 855 à 878Adaptabilité et validation de la traduction de B vers C / Frédéric Badeau in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : Adaptabilité et validation de la traduction de B vers C : points de vue et résultats du projet BOM Type de document : texte imprimé Auteurs : Frédéric Badeau, Auteur ; Didier Bert, Auteur ; Sylvain Boulmé, Auteur Année de publication : 2004 Article en page(s) : P 879 à 903 Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 879 à 903[article] Adaptabilité et validation de la traduction de B vers C : points de vue et résultats du projet BOM [texte imprimé] / Frédéric Badeau, Auteur ; Didier Bert, Auteur ; Sylvain Boulmé, Auteur . - 2004 . - P 879 à 903.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 879 à 903Stratégie de couverture de test à un haut niveau d'abstraction / Pierre Bontron in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : Stratégie de couverture de test à un haut niveau d'abstraction Type de document : texte imprimé Auteurs : Pierre Bontron, Auteur ; Marie-Laure Potet, Auteur Année de publication : 2004 Article en page(s) : P 905 à 928 Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 905 à 928[article] Stratégie de couverture de test à un haut niveau d'abstraction [texte imprimé] / Pierre Bontron, Auteur ; Marie-Laure Potet, Auteur . - 2004 . - P 905 à 928.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004] . - P 905 à 928La méthode B et l'ingénierie système in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : La méthode B et l'ingénierie système Type de document : texte imprimé Année de publication : 2004 Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004][article] La méthode B et l'ingénierie système [texte imprimé] . - 2004.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004]Les réseaux de régulation biologique in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : Les réseaux de régulation biologique : rencontre entre biologie et informatique : production de mucus chez P. aeruginosa Type de document : texte imprimé Année de publication : 2004 Langues : Français (fre) Mots-clés : Régulation biologique Bioinformatique P. aeruginosa
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004][article] Les réseaux de régulation biologique : rencontre entre biologie et informatique : production de mucus chez P. aeruginosa [texte imprimé] . - 2004.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004]
Mots-clés : Régulation biologique Bioinformatique P. aeruginosa Modèles de programmation mon conventionnels in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
[article]
Titre : Modèles de programmation mon conventionnels Type de document : texte imprimé Année de publication : 2004 Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004][article] Modèles de programmation mon conventionnels [texte imprimé] . - 2004.
Langues : Français (fre)
in Revue des sciences et technologies de l'information > Numéro 7 [01/02/2004]




