Produktbild: Recent Trends in Algebraic Development Techniques
Band 1827

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2007

Herausgeber

José Luiz Fiadeiro + weitere

Verlag

Springer Berlin

Seitenzahl

174

Maße (L/B/H)

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

Gewicht

289 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-71997-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

174

Maße (L/B/H)

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

Gewicht

289 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-71997-7

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
  • Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP – A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.