10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers
First Statement of Responsibility
edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1995
SERIES
Series Title
Lecture Notes in Computer Science, 906
GENERAL NOTES
Text of Note
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.