本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Constructing Correct Software: The Basics
Springer London
Dr D. John Cooke (auth.)
specification
correct
false
function
values
bag_of
figure
rest_of
split
first_of
input
listmax
x:x
functions
ascending
specifications
calculation
3x:x
lists
combine
merge
defined
sofiware
frrst_of
valid
implementation
operations
recursion
consider
1x:x
element
refinement
sets
transformations
appropriate
integers
sorting
boolean
suppose
required
programs
notation
integer
similarly
succ
finite
programming
examples
last_of
operators
年:
1998
言語:
english
ファイル:
PDF, 11.62 MB
あなたのタグ:
0
/
0
english, 1998
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×