Fiadeiro, Jose Luiz (ed.)
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Algebraic Development Techniques, WADT'98, held in Lisbon, Portugal, in April 1998, as part of ETAPS'98.The 21 revised full papers presented were selected during two rounds of reviewing and revision for inclusion in the book. The papers address all current issues in the area, in particular algebraic (and other) specification techniques, algebraic combination of logics, algebraic structures and logics for concurrency, other algebraic structures and their logics, specification languages and their associated methods and tools, and term rewriting and theorem proving.
Verlag: Springer-Verlag GmbH
Ausstattung: X, 340 Seiten
ISBN: 3540662464
Preis: 49,95 €
Hier bei Buecher.de bestellen!
Bestellen Sie über obige Links! Sie fördern dadurch die Digitalisierung weiterer Bücher, da Zeno.org eine Provision von dem Sponsor erhält. Wann immer Sie etwas bestellen möchten - prüfen Sie vorher die Millionen von Angeboten, die im Zeno.org-Shop beschrieben sind. Bookmarken Sie die Einstiegsseite in den Zeno.org-Shop für spätere Gelegenheiten. Vielen Dank für Ihre Unterstützung.
- ZenoServer 2.4.26
- Zenodot
- Digitale Bibliothek
- Downloadshop
- Retrodigitalisierung
- Nutzungsbedingungen
- Impressum