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: WADT 2006 (2006 : La Roche-en-Ardenne, Belgium)
Contributor(s): Fiadeiro, José Luiz, 1961- | Schobbens, Pierre-Yves, 1961-
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 4409.Publisher: Berlin : Springer, 2007Description: 1 online resource (170 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540719984; 3540719989; 3540719970; 9783540719977; 9786610949120; 6610949123Other title: WADT 2006Subject(s): Computer software -- Development -- Congresses | Computer science -- Mathematics -- Congresses | Abstract data types (Computer science) -- Congresses | COMPUTERS -- Programming -- Open Source | COMPUTERS -- Software Development & Engineering -- Tools | COMPUTERS -- Software Development & Engineering -- General | Computer science -- Mathematics | Abstract data types (Computer science) | Computer software -- Development | Informatique | Abstract data types (Computer science) | Computer science -- Mathematics | Computer software -- Development | wiskunde | mathematics | computerwetenschappen | computer sciences | logica | logic | software engineering | algebra | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Recent trends in algebraic development techniques.DDC classification: 005.1 LOC classification: QA76.76.D47 | .W33 2006ebOther classification: TP301. 6-532 Online resources: Click here to access online
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

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

University staff and students only. Requires University Computer Account login off-campus.

There are no comments for this item.

to post a comment.

Powered by Koha