Amazon cover image
Image from Amazon.com

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4409.Publication details: Berlin : Springer, 2007.Description: 1 online resource (170 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540719984
  • 3540719989
  • 3540719970
  • 9783540719977
  • 9786610949120
  • 6610949123
Other title:
  • WADT 2006
Subject(s): Genre/Form: Additional physical formats: Print version:: Recent trends in algebraic development techniques.DDC classification:
  • 005.1 22
LOC classification:
  • QA76.76.D47 .W33 2006eb
Other classification:
  • TP301. 6-532
Online resources:
Contents:
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Print version record.

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.

Powered by Koha