Détails de l’annonce

Titre: Recent Trends in Data Type Specification
Condition: Neuf
Sous titres: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Auteur: Hartmut Ehrig
Contributeur: Hartmut Ehrig (Edited by), Klaus P. Jantke (Edited by), Fernando Orejas (Edited by), Horst Reichel (Edited by)
Format: Poche
ISBN-10: 3540544968
EAN: 9783540544968
ISBN: 9783540544968
Edition: 1991 ed.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Genre: Computing & Internet
Date de publication: 1991-09-11
Description: The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.
Sujet: Anglais
Pays/Région de fabrication: DE
Item Height: 233
Item Length: 155.00
Poids: 553 gg
Série: Lecture Notes in Computer Science
Type: Design Patterns
Année de publication: 1991

Information manquante?

Veuillez nous contacter pour toute information manquante, nous l’ajouterions volontiers dans notre description.