Catalogue des ouvrages Université de Laghouat
Approches formelles pour le développement de logiciels |  |
|
[n° ou bulletin]
|
Contient
Validation des règles de base de l'atelier B in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Adaptabilité et validation de la traduction de B vers C in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Stratégie de couverture de test à un haut niveau d'abstraction in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
La méthode B et l'ingénierie système 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])
Modèles de programmation mon conventionnels in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Validation des règles de base de l'atelier B in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Adaptabilité et validation de la traduction de B vers C in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Stratégie de couverture de test à un haut niveau d'abstraction in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
La méthode B et l'ingénierie système 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])
Modèles de programmation mon conventionnels in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
Réservation
Réserver ce documentExemplaires
| 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 |
