Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

CiNii 所蔵館 20館

書誌事項

タイトル
"Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday"
責任表示
Nachum Dershowitz (ed.)
出版者
  • Springer
出版年月
  • c2003
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Includes photo of Zohar Manna (b.1939)

"The symposium was held in Taormina, Sicily, Italy between June 29 and July 4, 2003." - pref.

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

  • CRID
    1130000797371915136
  • NII書誌ID
    BA66316020
  • ISBN
    3540210024
  • 本文言語コード
    en
  • 出版国コード
    gw
  • タイトル言語コード
    en
  • 出版地
    • Berlin ; Tokyo
  • 分類
  • データソース種別
    • CiNii Books
ページトップへ