Produktnummer:
18d903a5e4177444aaaa20ec3045b80f0a
| Themengebiete: | Abstract Data Types Abstrakte Datentypen Algebraic Specification Algebraische Spezifikation Formal Methods Formale Methoden Simulation Swing Term Rewriting Termersetzung |
|---|---|
| Veröffentlichungsdatum: | 04.09.1996 |
| EAN: | 9783540616290 |
| Sprache: | Englisch |
| Seitenzahl: | 558 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dahl, Ole-Johan Haveraaen, Magne Owe, Olaf |
| Verlag: | Springer Berlin |
| Untertitel: | 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers |
Produktinformationen "Recent Trends in Data Type Specification"
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
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