KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 11.11.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thaalia.live und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Recent Trends in Algebraic Development Techniques
Band 4409

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

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

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...

Beschreibung

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.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

24.04.2007
Abbildungen

VIII, 174 p.
Herausgeber José Luiz Fiadeiro + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

24.04.2007
Abbildungen

VIII, 174 p.
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: 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)
  • 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.