การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024
เกี่ยวกับการระดมทุน
ค้นหาหนังสือ
หนังสือ
การระดมทุน:
53.1% เพิ่มขึ้น
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท 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
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×