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...
Na minha lista:
Main Authors: | , , |
---|---|
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ø!
|