Fiadeiro / Schobbens | Recent Trends in Algebraic Development Techniques | E-Book | sack.de
E-Book

E-Book, Englisch, 174 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
2007
ISBN: 978-3-540-71998-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

E-Book, Englisch, 174 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-540-71998-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Fiadeiro, José Luiz
Schobbens, Pierre-Yves

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.