skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

ON HIERARCHIES OF ABSTRACT DATA TYPES.

Berlin Heidelberg : Springer, 1983

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Abstract implementations and correctness proofs

Bernot, Gilles ; Bidoit, Michel (1957-....) ; Choppy, Christine

Orsay : LRI, 1985

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

ABSTRACT TYPES AND THE DOT NOTATION.

S.L. : s.n., 1990

Voir les exemplaires

4
Material Type:
Thèse
Ajouter à Mon espace

DATA ABSTRACTION AND THE CORRECTNESS OF MODULAR PROGRAMMING.

S.L. : s.n., 1987

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Structured specifications and implementation of nondeterministic data types

München DEU : Technische Universität München, 1995

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

ATLAS : a typed language for algebraic specification

Hearn, B.M. ; Meinke, Karl

München : Technische Universität München, 1993

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

REFINEMENTS OF GENERIC SPECIFICATIONS WITH ALGEBRAIC TOOLS.

S.L. : s.n., 1982

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

TYPES ABSTRAITS ET SEMANTIQUE ALGEBRIQUE DES LANGAGES DE PROGRAMMATION.

S.L. : s.n., 1980

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

SEMINAIRE D'INFORMATIQUE THEORIQUE. ANNEE 1979-1980

S.L. : s.n., 1980

Voir les exemplaires

10
WORKSHOP ON PROGRAM SPECIFICATION.
Material Type:
Livre
Ajouter à Mon espace

WORKSHOP ON PROGRAM SPECIFICATION.

Berlin, Heidelberg : Springer, 1982

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

Recursive data types and report on the Mona notation for algorithms

Zürich : s.n., 1989

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

REPORT ON THE LARCH SHARED LANGUAGE : VERSION 2.3

S.L. : s.n., 1990

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

GENERIC PROGRAMMING : A TOOL FOR DESIGNING UNIVERSAL OPERATORS.APPLICATION TO PROGRAM ALGEBRA

S.L. : s.n., 1982

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

REQUIREMENT (THE) AND DESIGN SPECIFICATION LANGUAGE SPECTRUM AN INFORMAL INTRODUCTION VERSION 0.3.

S.L. : s.n., 1991

Voir les exemplaires

15
Algèbre galactique
Material Type:
Thèse
Ajouter à Mon espace

Algèbre galactique

S.L. : s.n., 1990

Voir les exemplaires

16
Abstract data types in standard ML.
Material Type:
Livre
Ajouter à Mon espace

Abstract data types in standard ML.

Harrison, Rachel.

Chichester New York NY Brisbane : J. Wiley, 1993

Voir les exemplaires

17
FUNDAMENTALS OF ALGEBRAIC SPECIFICA. 1,EQUATIONS AND INITIAL SEMANTICS.
Material Type:
Livre
Ajouter à Mon espace

FUNDAMENTALS OF ALGEBRAIC SPECIFICA. 1,EQUATIONS AND INITIAL SEMANTICS.

Berlin, Heidelberg : Springer, 1985

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

DATA ABSTRACTION,DATABASES AND CONCEPTUAL MODELLING.

New York : ACM, 1980

Voir les exemplaires  et autres localisations

19
EXPRESSION DE C3 (COOPERATION,CONCURRENCE,COMMUNICATION) DANS LES SPECIFICATIONS PAR LES TYPES ABSTRAITS ALGEBRIQUES.
Material Type:
Thèse
Ajouter à Mon espace

EXPRESSION DE C3 (COOPERATION,CONCURRENCE,COMMUNICATION) DANS LES SPECIFICATIONS PAR LES TYPES ABSTRAITS ALGEBRIQUES.

PARIS : ENST, 1984

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

TYPES (LES) DE DONNEES. CONCEPTS ET APPLICATIONS.

ROCQUENCOURT : INRIA, 1980

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Articles  (1)
  2. Livres  (86)
  3. Thèses  (14)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1982  (14)
  2. 1982 à 1985  (43)
  3. 1986 à 1989  (26)
  4. 1990 à 1994  (13)
  5. Après 1994  (5)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré