Academic Press international series in formal methods

著者

書誌事項

Academic Press international series in formal methods

Academic Press

この図書・雑誌をさがす

関連文献： 2件中  1-2を表示

  • A computational logic handbook

    Robert S. Boyer and J Strother Moore

    Academic Press c1998 2nd ed. Academic Press international series in formal methods

    所蔵館6館

  • Teaching and learning formal methods

    edited by C. Neville Dean and Michael G. Hinchey

    Academic c1996 Academic Press international series in formal methods

    : pbk

    所蔵館9館

詳細情報

  • NII書誌ID(NCID)
    BA2874135X
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 出版地
    London
ページトップへ