Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Recent Trends in Data Type Specification

53,49 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 1807e14e4f0f484805b5777d1fc0885361
Themengebiete: Animation Datentypen Spezifikationen Ersetzungsverfahren Object-Oriented Specifications Objektorientierte Spezifikationen Specification Languages Spezifika algebra concurrency design
Veröffentlichungsdatum: 28.04.1994
EAN: 9783540578673
Sprache: Englisch
Seitenzahl: 356
Produktart: Kartoniert / Broschiert
Herausgeber: Ehrig, Hartmut Orejas, Fernando
Verlag: Springer Berlin
Untertitel: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers
Produktinformationen "Recent Trends in Data Type Specification"
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen