Showing
21 - 24
results of
24
for search '
Habrias Henri
'
Skip to content
Toggle navigation
Nantilus
La BU
0
items
(Full)
Log Out
Login
FR
|
EN
All Fields
Title
Journal Title
Author
Subject
ISBN/ISSN
Publisher
Series
Dissertation note
Author
Habrias Henri
Showing
21 - 24
results of
24
for search '
Habrias Henri
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Select result number 21
21
Software specification methods
ISTE C 2006
Call Number:
Loading...
Located:
Loading...
Table des matières
Descripteur d'éditeur
Book
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 22
22
Software specification methods : An overview using a case study
Springer cop. 2000
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 23
23
Proceedings
by
International workshop on comparing systems specification techniques "What questions are prompted by onesparticular method of specification?"
IRINW DL 1998
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 24
24
Méthode B
Hermès Science 2003
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
[1]
Prev
1
2
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Do you search an article ?
Check
our how-to
to find it.
Nothing found ?
Search
in other universities (SUDOC)
, ask for
an interlibrary loan
or submit
a purchase request
.
Related Subjects
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
×
Loading...
Nantilus
