Loading...

Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers /

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

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Main Authors: WADT 2006, Fiadeiro, José Luiz., Schobbens, Pierre-Yves.
Format: Livro
Sprog:Inglês
Udgivet: Springer, 2007.
Serier:Lecture notes in computer science
Fag:
Online adgang:https://minerva.ufrj.br/F/?func=direct&doc_number=000905463&local_base=UFR01
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!