募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
25.0% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Temporal Logic of Programs
Springer
Fred Kröger
atnext
temporal
formulas
formula
programs
induction
theorem
variables
assertion
execution
axioms
propositional
valid
assumption
operators
statement
await
formal
al9
classical
logical
parallel
invariant
starts
method
olx
statements
false
initial
pnueli
prove
derived
examples
invof
axiom
consider
principle
precedence
entry
expressed
inv
labels
component
error
finite
kroger
taut
trivial
assume
atomic
年:
1987
语言:
english
文件:
DJVU, 1.11 MB
您的标签:
0
/
0
english, 1987
2
Temporal Logic of Programs
Springer
Fred Kröger
atnext
temporal
formulas
formula
programs
induction
theorem
variables
assertion
execution
axioms
propositional
valid
assumption
operators
statement
formal
logical
ooa
await
classical
invariant
parallel
method
statements
niln
false
prove
derived
entry
initial
pnueli
examples
axiom
consider
invof
principle
precedence
expressed
tnext
error
component
inv
taut
trivial
assume
atomic
correctness
finite
kroger
年:
1987
语言:
english
文件:
PDF, 4.11 MB
您的标签:
0
/
0
english, 1987
3
Temporal Logic and State Systems
Springer
Fred Kroger
,
Stephan Merz
temporal
formula
formulas
exec
sect
propositional
systems
α1
theorem
operators
η1
ηi
valid
η2
η0
variables
axioms
logics
node
automaton
false
β1
induction
lemma
β0
formal
α2
defined
verification
linear
transition
finite
specification
α3
e2a
assume
foltl
initial
checking
execution
ȳ
büchi
nodes
automata
path
ctl
tableau
eunt
tsig
α0
年:
2008
语言:
english
文件:
PDF, 4.32 MB
您的标签:
5.0
/
0
english, 2008
4
Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
Springer-Verlag Berlin Heidelberg
Udo W. Lipeck (auth.)
transitionsgraphen
formeln
integritatsbedingungen
transaktionen
knoten
gilt
formel
zustandsfolge
zustandsfolgen
sometime
gdw
zustand
datenbank
exists
temporale
spezifikation
temporalen
bedingungen
graphen
manuf
uber
gultig
objekte
operatoren
aile
z.b
database
gultigkeit
lemma
registered
belegung
nachbedingungen
uberwachung
transaktion
bzw
mub
false
bzgl
grundformeln
d.h
monitor
owns
beliebige
transitionsgraph
insbesondere
marking
beispiel
folgt
integritatsbedingung
logik
年:
1989
语言:
german
文件:
PDF, 10.58 MB
您的标签:
0
/
3.0
german, 1989
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×