Formal aspects of computing : the international journal of formal methods

著者

書誌事項

Formal aspects of computing : the international journal of formal methods

Springer International, 1989-

  • Vol. 1, no. 1 (Jan./Mar. 1989)-

タイトル別名

Form. asp. comput

Formal aspects of computing

大学図書館所蔵 件 / 18

この図書・雑誌をさがす

詳細情報

  • NII書誌ID(NCID)
    AA10729276
  • ISSN
    09345043
  • LCCN
    91650960
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 出版地
    London
  • 出版状況
    刊行中
  • 刊行頻度
    季刊 (年4回刊)
  • 定期性
    定期
  • 逐次刊行物のタイプ
    定期刊行物
ページトップへ