本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
mural: A Formal Development Support System
Springer-Verlag London
C. B. Jones DPhil
,
K. D. Jones PhD
,
P. A. Lindsay PhD
,
R. D. Moore PhD (auth.)
specification
mural
sequent
vdm
function
formal
exported
functions
variables
defined
instantiation
proofs
specifications
theories
inst
justification
tmm
execution
seq
abstract
axioms
symbolic
hypotheses
vsymb
definitions
operation
signature
inv
thm
exp
operations
elxtl
boxes
subterms
sestateop
arguments
conclusion
syntax
implementation
assistant
tactics
preds
induction
rulestmt
reasoning
symbols
argument
construct
retr
cases
年:
1991
言語:
english
ファイル:
PDF, 11.47 MB
あなたのタグ:
0
/
0
english, 1991
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×