Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.
Contributor(s): Fiadeiro, José Luiz [editor.]
| Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 4409Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: VIII, 174 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540719984.Subject(s): Software engineering | Computer science | Machine theory | Computer science -- Mathematics | Software Engineering | Computer Science Logic and Foundations of Programming | Formal Languages and Automata Theory | Symbolic and Algebraic ManipulationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online 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.
There are no comments for this item.