A carregar...
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: | , , |
|---|---|
| Formato: | Livro |
| Idioma: | Inglês |
| Publicado em: |
Springer,
2007
|
| Colecção: | Lecture notes in computer science |
| Assuntos: | |
| Acesso em linha: | https://minerva.ufrj.br/F/?func=direct&doc_number=000905463&local_base=UFR01 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|