Showing
1 - 2
results of
2
for search '
Poizat Pascal
'
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
Poizat Pascal
Showing
1 - 2
results of
2
for search '
Poizat Pascal
'
, query time: 0.02s
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 1
1
KORRIGAN : UN FORMALISME ET UNE METHODE POUR LA SPECIFICATION FORMELLE ET STRUCTUREE DE SYSTEMES MIXTES
by
Poizat
Pascal
[s.n.] 2000
Call Number:
Loading...
Located:
Loading...
Thesis
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 2
2
Contribution à l automatisation et à l'évaluation des architectures logicielles ouvertes
by
Belkhatir Riad
,
Oussalah Mourad-Chabane
,
Borne Isabelle
,
Lévy Nicole
Poizat
Pascal
[éditeur inconnu] 2014
Call Number:
Loading...
Located:
Loading...
Get full text
Thesis
Online
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
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
architecture logicielle
architectures orientées services
critère qualité
evaluation de la qualité
facteur qualité
métrique qualité
sciences et techniques : informatique. automatique theorique. systemes
specification formelle ; semantique ; generation code ; oriente objet ; systeme transition ; specification mixte
thèses et écrits académiques
×
Loading...