书籍搜索
书
捐款
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Introduction to SPARK
AdaCore
Claire Dross
,
Yannick Moy
package
spark
proved
check
info
global
contracts
listing
analysis
function
gnatprove
integer
range
output
introduction
prover
generation
stack
↪
subprogram
element
variables
ghost
array
content
error
positive
nat_array
errors
abstraction
overflow
previous
spark_mode
boolean
depends
postcondition
record
invariant
continues
warning
messages
pragma
push
ring_buffer.adb
correct
unproved
examples
runtime
swap
assertion
年:
2022
语言:
english
文件:
PDF, 683 KB
您的标签:
0
/
4.5
english, 2022
2
Eiffel nello sviluppo software in gruppi di lavoro complessi
Mattia Monga
↩
feature
integer
ensure
assert
require
eiffel
count
boolean
is_empty
postcondizioni
contratto
deferred
cioè
precondizione
proprietà
rolls
capacity
matrix.item
client
precondizioni
buffer
credit_limit
inherit
item
board
current
oggetto
invariant
oggetti
square
row
void
false
invarianti
other.balance
postcondizione
clock
frame_index
fromw
implies
is_equal
width
c.item
r.item
ring_buffer
valore
invariante
possono
𝑃
年:
2021
语言:
italian
文件:
PDF, 562 KB
您的标签:
0
/
5.0
italian, 2021
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×