Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
-
- Englisch ausgewählt
51,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
29.01.1993
Herausgeber
Michel Bidoit + weitereVerlag
Springer BerlinSeitenzahl
346
Maße (L/B/H)
23,5/15,5/1,9 cm
Gewicht
474 g
Auflage
1993
Sprache
Englisch
ISBN
978-3-540-56379-2
a flourishing research topic in computer science since 1974.
The main goal of this work isto evolve theoretical
foundations and a methodology to support the design and
formal development of reliable software.
This volume gives the proceedings of the Eighth Workshop on
Specification of Abstract Data Types, held jointly with the
Third COMPASS workshop near Paris in August 1991. The main
topics covered by the joint workshop are:
- specification languagesand program development
- algebraic specification of concurrency
- theorem proving
- object-oriented specifications
- order-sorted algebras
- abstract implementation and behavioral semantics.
The volume contains four invited surveys and twelve
contributed papers, all of which underwent a careful
refereeing process.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice