募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
27.8% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Algebraic Semantics of Imperative Programs
The MIT Press
Joseph A. Goguen
,
Grant Malcolm
exp
variables
programs
swap
array
module
correctness
equations
defined
pgm
programming
operation
inv
equation
prove
values
specification
endo
signature
induction
initial
procedures
scc
stores
proc
idp
operations
assignment
function
sorted
constants
prec
proving
theorem
invariant
integers
predicate
sorts
gcd
parameters
bool
vars
correct
assume
subsort
arvar
integer
obj3
postcondition
precondition
年:
1996
语言:
english
文件:
DJVU, 1.53 MB
您的标签:
0
/
0
english, 1996
2
Algebraic semantics of imperative programs
MIT Press
Joseph Goguen
,
Grant Malcolm
exp
variables
programs
swap
array
module
correctness
equations
defined
programming
pgm
operation
inv
equation
prove
values
specification
endo
signature
induction
initial
procedures
stores
proc
idp
operations
assignment
function
sorted
constants
prec
proving
theorem
invariant
integers
predicate
sorts
gcd
bool
parameters
scc
vars
arvar
correct
assume
subsort
integer
obj3
postcondition
precondition
年:
1996
语言:
english
文件:
DJVU, 1.32 MB
您的标签:
0
/
0
english, 1996
3
Algebraic Semantics of Imperative Programs
The MIT Press
Joseph A. Goguen
,
Grant Malcolm
exp
copyrighted
variables
array
programs
swap
pgm
defined
module
correctness
inv
endo
prove
equations
values
induction
initial
idp
specification
operation
stores
equation
programming
signature
sorted
arvar
assignment
function
lnt
procedures
constants
proving
invariant
operations
theorem
tst
correct
integers
assume
define
subsort
sorts
vars
arrays
proc
bool
syntax
integer
appendix
gcd
年:
1996
语言:
english
文件:
PDF, 25.90 MB
您的标签:
0
/
0
english, 1996
4
唐山十中建校五十周年 1952-2002
ahs
aoa
ial
province
tangshan
封
44s
4ryebabhsebebes
absx
ack
aleshr
arar
arkdag
bahemeaelmnsvare
breladhely
brryelres
burks
cht
cise
crs
cuca
eaew
eea
ems
eon
esew
esl
evs
fabio
fbo
fen
fhoahmshf
fksmb
fom
gfe
gram
hebei
heu
hreysi
kora
lehus
lmt
mik
mikeuwetrae
mll
ninah
ogg
padhi
perera
phim
语言:
chinese
文件:
PDF, 6.62 MB
您的标签:
0
/
0
chinese
5
提前报喜
南京:江苏文艺出版社
南京晨光机器厂编
bse
rrr
brr
fete
raab
rhe
sese
abs
achr
arr
arse
aws
bale
bava
bef
crete
fak
feb
fers
fets
ghia
gra
hemt
lba
paes
pem
raia
rbh
rik
rrs
sbe
sear
trb
tse
ups
zet
228k
44d
absit
absk
absx
abta
abwee
acd
adb
ado
aef
aepolart
aerral
aesea
年:
1958
语言:
chinese
文件:
PDF, 4.06 MB
您的标签:
0
/
0
chinese, 1958
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×