Recent Trends in Algebraic Development Techniques (eBook, PDF)
56,95 €
56,95 €
inkl. MwSt.
Sofort per Download lieferbar
Versandkostenfrei*
28 °P sammeln
56,95 €
56,95 €
inkl. MwSt.
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
28 °P sammeln
Als Download kaufen
56,95 €
inkl. MwSt.
Sofort per Download lieferbar
28 °P sammeln
Jetzt verschenken
56,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
28 °P sammeln
  • Format: PDF


Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 280
  • Erscheinungstermin: 26. Februar 2005
  • Englisch
  • ISBN-13: 9783540319597
  • Artikelnr.: 44219918

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Autorenporträt
José Luiz Fiadeiro, University of Leicester, UK / Peter Mosses, University of Wales Swansea, UK / Fernando Orejas, Universitat Politecnica de Catalunya, Barcelona, Spain
Inhaltsangabe
Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures.- Contributed Papers.- Modelling Mobility with Petri Hypernets.- Cryptomorphisms at Work.- Towards a Formal Specification of an Electronic Payment System in CSP-CASL.- Algebraic Semantics of Design Abstractions for Context-Awareness.- CCC - The Casl Consistency Checker.- Ontologies for the Semantic Web in Casl.- Theoroidal Maps as Algebraic Simulations.- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.- A Simple Refinement Language for Casl.- A Distributed and Mobile Component System Based on the Ambient Calculus.- Application and Formal Specification of Sorted Term-Position Algebras.- From Conditional to Unconditional Rewriting.- Type Class Polymorphism in an Institutional Framework.- Architectural Specifications for Reactive Systems.