Search Results - Habrias Henri
- Showing 1 - 20 results of 25
- Go to Next Page
-
1
Le modèle relationnel binaire : méthode I. A. (NIAM) by Habrias, Henri (1946-....)
Published 1988Call Number: Loading…
Located: Loading…Book Loading… -
2
Introduction à la spécification by Habrias, Henri (1946-....)
Published 1993Call Number: Loading…
Located: Loading…Book Loading… -
3
Dictionnaire encyclopédique du génie logiciel by Habrias, Henri (1946-....)
Published 1997Call Number: Loading…
Located: Loading…Book Loading… -
4
La Mesure du logiciel by Habrias, Henri (1946-....)
Published 1995Call Number: Loading…
Located: Loading…Book Loading… -
5
Spécification formelle avec B by Habrias, Henri (1946-....)
Published 2001Call Number: Loading…
Located: Loading…Book Loading… -
6
Petit dictionnaire à l'usage des lecteurs novices d'Abélard by Habrias, Henri (1946-....)
Published 2001Call Number: Loading…
Located: Loading…Book Loading… -
7
Systèmes et structures by Habrias, Henri (1946-....)
Published 1974Call Number: Loading…
Located: Loading…Book Loading… -
8
Concepts, méthode, outils pour l'étude du système d'information by Habrias, Henri (1946-....)
Published 1978Call Number: Loading…
Located: Loading…Thesis Loading… -
9
Informatique ; Cantor ; Cours ; Exercices corriges by Briand, Henri, Habrias, Henri (1946-....)
Published 1974Call Number: Loading…
Located: Loading…Book Loading… -
10
H. Briand, H. Habrias. |Cantor. Cours. Exercices. Corrigés by Briand, Henri, Habrias, Henri (1946-....)
Published 1974Call Number: Loading…
Located: Loading…Book Loading… -
11
Methodologie, étude de l'existant, analyse fonctionnelle / 1. by Briand, Henri, Habrias, Henri (1946-....)
Published 1974Call Number: Loading…
Located: Loading…Book Loading… -
12
Organisation by Habrias, Henri (1946-....), Branchet, Jean (1934-....)
Published 1974Call Number: Loading…
Located: Loading…Book Loading… -
13
Conception et réalisation d'un logiciel conversationnel d'analyse fonctionnelle : rapport final de l'ATP CNRS IRIA n 7303 by Briand, Henri, Habrias, Henri (1946-....), Jayez, Jacques-Henri (1943-....)
Published 1976Call Number: Loading…
Located: Loading…Book Loading… -
14
Mathématiques à l'usage des informaticiens by Brugère, Thierry, Mollard, Alain
Published 2003Call Number: Loading…
Located: Loading…Book Loading… -
15
UML : la notation unifiée de modélisation objet : applications en java by Lai, Michel
Published 1997Call Number: Loading…
Located: Loading…Book Loading… -
16
AIDE A LA VALIDATION PAR PARAPHRASAGE DE SPECIFICATIONS FORMELLES B by DIALLO, DJENABOU.
Published 2000Call Number: Loading…
Located: Loading…Thesis Loading… -
17
Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information : actes des journées... [de] Nantes... 23-24 septembre 1987
Published 1987Call Number: Loading…
Located: Loading…Book Loading… -
18
Software specification methods : An overview using a case study
Published 2000Call Number: Loading…
Located: Loading…Book Loading… -
19
The B Method : from Research to Teaching : Actes/proceedings, Nantes, cité internationale des congrès, 16 juin 2008, Journées scientifiques de l'Université de Nantes
Published 2008Call Number: Loading…
Located: Loading…Book Loading… -
20
La spécification formelle avec Z by Lightfoot, David (1951-....)
Published 1994Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Actes de congrès
Génie logiciel
B (méthode formelle)
Logiciels Développement
Logiciels Spécifications
Méthodes formelles (informatique)
Systèmes d'information
Thèses et écrits académiques
Z (méthode formelle)
Abélard, Pierre
Abélard, Pierre Critique et interprétation
Abélard, Pierre Dictionnaires
Algèbre linéaire
Analyse fonctionnelle Informatique
Bases de données relationnelles
Boole, Algèbre de
Computer software Specifications
Conception orientée objets (informatique)
Cryptographie
Dictionnaires
Formal methods (Computer science)
Génie logiciel Français
Génie logiciel Spécifications
Hugues de Saint-Victor
Héloïse
Informatique Mathématiques Manuels d'enseignement supérieur
Java (langage de programmation)
Jean de Salisbury
Langages de programmation Modèles mathématiques
Langages de programmation orientés objet