Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specificat...

תיאור מלא

מידע ביבליוגרפי

מחבר תאגידי:	Workshop on specification of abstract data types :Wusterhausen/Dosse, Allemagne
מחברים אחרים:	Ehrig, Hartmut, 1944- (Directeur de la publication), Jantke, Klaus Peter, 1951- (Directeur de la publication), Orejas, Fernando, 1952- (Directeur de la publication)
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 534
נושאים:	Génie logiciel Informatique Langages de programmation Types abstraits de données (informatique) Actes de congrès
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recent trends in data type specification, 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990, proceedings, H. Ehrig, K. P. Jantke, F. Orejas,... [et al.] editors, Berlin, Springer-Verlag, 1991, 1 vol. (VIII-379 p.), Lecture notes in computer science, 0-387-54496-8 • Recent Trends in Data Type Specification, Texte imprimé, 9783662211502