Vor Ort
Merkzettel Warenkorb
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • Produktbild: Recent Trends in Algebraic Development Techniques
Band 1827

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.2005

Herausgeber

José Luiz Fiadeiro + weitere

Verlag

Springer Berlin

Seitenzahl

280

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25327-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

280

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25327-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • 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.