Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Wikipedia
  3. 抽象データ型

抽象データ型

文献一覧（最新100件）

1 0 0 0 プログラミング方法論の展望

編集者: Bcxfubot

4 0 0 0 IR 代数モデルの基礎 (<特集>ソフトウェア工学の基礎)

編集者: Bcxfubot

1 0 0 0 抽象データタイプの代数的仕様記述法の基礎(3):抽象型構成子のモデルと始代数意味論

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

1 0 0 0 プログラミング方法論の展望

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

1 0 0 0 抽象データタイプの代数的仕様記述法の基礎(1):多ソート代数と等式論理

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

1 0 0 0 抽象データタイプの代数的仕様記述法の基礎(4):終代数意味論に基づく抽象型構成子の仕様記述,実現ならびにその検証

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

1 0 0 0 抽象データタイプの代数的仕様記述法の基礎(2):抽象データタイプ

編集者: I.hidekazu
2020-08-24 08:14:30 の編集で削除されたか、リンク先が変更された可能性があります。

4 0 0 0 IR 代数モデルの基礎 (<特集>ソフトウェア工学の基礎)

編集者: I.hidekazu