All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic

著者
    • Clavel, Manuel
    • SpringerLink (Online service)
    • Duran, Francisco
    • Eker, Steven
    • Lincoln, Patrick
    • Marti-Oliet, Narciso
    • Talcott, Carolyn
書誌事項

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic

Manuel Clavel ... [et al.]

(Lecture notes in computer science, 4350)

Springer, c2007

この図書・雑誌をさがす
注記

Includes bibliographical references and indexes

HTTP:URL=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4350

"Tutorial"--Cover

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ