提供: tty00

移動: 案内、検索

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

  • (最新 | 前) 2014年3月1日 (土) 19:31‎ Tty00 (トーク | 投稿記録)‎ . . (2,629バイト) (+2,629)‎ . . (ページの作成:「== プロセス == === イニシャルプロセスの定義 === initはイニシャルプロセスを定義する。 <pre> init { printf("init\n"); } </pre> === プロ...」)
「http://oops.x0.com/tty/index.php?title=Promela」から取得