23 Notices bibliographiques

Votre Recherche

    Toutes les notices liées.
    • Types abstraits de données (informatique)
Sujets
  • Génie logiciel
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

Voir la sélection (0)
Ajouter à mes références (0)

1 1988

Tucker, John V. (1952-....)

Program correctness over abstract data types, with error-state semantics / J.V. Tucker, J.I. Zucker
North-Holland
Livres

2 1990

Uhl, Jürgen

A Systematic Catalogue of Reusable Abstract Data Types / by Jürgen Uhl, Hans Albrecht Schmid
Springer-Verlag
Livres

3 1991

Workshop on Specification of Abstract Data Types (07 ; 1990 ; Wusterhausen/Dosse, Allemagne)

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings / edited by H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel
Springer-Verlag
Livres

4 1994

Ehrig, Hartmut

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26-30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas
Springer-Verlag
Livres

5 1995

Astesiano, Egidio (1939-....)

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers / edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
Springer-Verlag
Livres

6 1996

Wirsing, Martin

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat
Springer-Verlag
Livres

7 1996

Haveraaen, Magne

Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
Springer-Verlag
Livres

8 1997

Johnson, Michael

Algebraic Methodology and Software Technology : 6th International Conference, AMAST'97 Sydney, Australia, December13-17, 1997 Proceedings / edited by Michael Johnson
Springer-Verlag
Livres

9 1998

Geurts, Frédéric

Abstract Compositional Analysis of Iterated Relations : a Structural Approach to Complex State Transition Systems / by Frédéric Geurts
Springer-Verlag Berlin Heidelberg
Livres

10 1998

Presicce, Francesco Parisi

Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT'97 Tarquinia, Italy, June 3-7, 1997 Selected Papers / edited by Francesco Parisi Presicce
Springer-Verlag
Livres

Récupérer les notices

(0)
(23)

autres Ressources