検索結果 1 - 3 結果 / 3 検索語 '', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    The way of Z practical programming with formal methods 著者: Jacky, Jonathan

    出版事項 1997
    図書

    The way of Z practical programming with formal methods
  2. 2

    ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

    出版事項 1995
    図書

    ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
  3. 3

    Introductory logic and formal methods 著者: Heath, David

    出版事項 1994
    図書

    Introductory logic and formal methods

検索ツール: