KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Recent Trends in Algebraic Development Techniques
  • Produktbild: Recent Trends in Algebraic Development Techniques
Band 3423

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

Abbildungen

VIII, 280 p.

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

Abbildungen

VIII, 280 p.

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: ProductSafety@springernature.com

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)

Weitere Artikel finden Sie in
  • 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.