Résultat(s)
21 - 24
résultats de
24
pour la requête '
Habrias Henri
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Habrias Henri
Résultat(s)
21 - 24
résultats de
24
pour la requête '
Habrias Henri
'
, Temps de recherche: 0,03s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 21
21
Software specification methods
ISTE C 2006
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Table des matières
Descripteur d'éditeur
Livre
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 22
22
Software specification methods : An overview using a case study
Springer cop. 2000
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Livre
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 23
23
Proceedings
par
International workshop on comparing systems specification techniques "What questions are prompted by onesparticular method of specification?"
IRINW DL 1998
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Livre
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 24
24
Méthode B
Hermès Science 2003
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Livre
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
[1]
Précédent
1
2
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
génie logiciel
abélard pierre
actes de congrès
b (méthode formelle)
logiciels développement
logiciels spécifications
méthodes formelles (informatique)
systèmes d'information
z (méthode formelle)
abélard pierre dictionnaires
algèbre linéaire
analyse fonctionnelle informatique
bases de données relationnelles
boole, algèbre de
cantor
cantor (methode)
conception orientée objets (informatique)
cryptographie
dictionnaires
génie logiciel français
génie logiciel spécifications
informatique
informatique mathématiques manuels d'enseignement supérieur
java (langage de programmation)
langages de programmation modèles mathématiques
langages de programmation orientés objet
logiciels
logiciels essais
logiciels fiabilité
logiciels validation
×
Chargement en cours...