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

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.11.2003

Abbildungen

VIII, 464 p.

Herausgeber

Martin Wirsing + weitere

Verlag

Springer Berlin

Seitenzahl

464

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20537-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.11.2003

Abbildungen

VIII, 464 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

464

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20537-1

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 Papers.- AGILE: Software Architecture for Mobility.- A Coinductive Calculus of Component Connectors.- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.- MultiMedia Instruction in Safe and Secure Systems.- Invited Non-technical Papers.- Zero, Connected, Empty.- Zero, Connected, Empty: An Essay after a Cantata.- Contributed Papers.- Type Checking Parametrised Programs and Specifications in ASL?+?FPC.- Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.- Completeness Results for Fibred Parchments.- Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs.- Conditional Circular Coinductive Rewriting with Case Analysis.- Verifying Generative Casl Architectural Specifications.- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.- The Coinductive Approach to Verifying Cryptographic Protocols.- Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.- Approach-Independent Structuring Concepts for Rule-Based Systems.- Notions of Behaviour and Reachable-Part and Their Institutions.- Combining Specification Formalisms in the ‘General Logic’ of Multialgebras.- On How Distribution and Mobility Interfere with Coordination.- Foundations of Heterogeneous Specification.- Algebraic-Coalgebraic Specification in CoCasl.- Translating Logics for Coalgebras.- Presenting and Combining Inference Systems.- Monad-Independent Dynamic Logic in HasCasl.- Preserving Properties in System Redesign: Rule-Based Approach.