Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

書誌事項

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

(Lecture notes in computer science, 4646)

Springer, c2007

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

Includes bibliographies and index

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