ロード中...

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

詳細記述

保存先:
書誌詳細
主要な著者: WADT 2006, Fiadeiro, José Luiz., Schobbens, Pierre-Yves.
フォーマット: Livro
言語:Inglês
出版事項: Springer, 2007.
シリーズ:Lecture notes in computer science
主題:
オンライン・アクセス:https://minerva.ufrj.br/F/?func=direct&doc_number=000905463&local_base=UFR01
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!