การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024
เกี่ยวกับการระดมทุน
ค้นหาหนังสือ
หนังสือ
การระดมทุน:
66.3% เพิ่มขึ้น
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ Kindle
จัดการรายการในบุ๊กลิสต์
บันทึกในรายการโปรด
ส่วนตัว
คำร้องขอเพิ่มหนังสือ
น่าสนใจ
Z-Recommend
รายชื่อหนังสือ
ได้รับความนิยมมากที่สุด
หมวดหมู่
การมีส่วนร่วม
บริจาค
รายการที่อัพโหลด
Litera Library
บริจาคหนังสือกระดาษ
เพิ่มหนังสือกระดาษ
Search paper books
จุด LITERA Point ของฉัน
ค้นหาคีย์เวิร์ด
Main
ค้นหาคีย์เวิร์ด
search
1
Understanding Z: A Specification Language and its Formal Semantics
Cambridge University Press
J. M. Spivey
schema
specification
variety
sets
operation
function
variables
models
specifications
carrier
formal
global
defined
gset
notation
operations
signature
sexp
parameters
values
mathematical
axiom
definitions
schemas
generic
axioms
tuple
functions
ident
database
restrict
semantic
abstract
env
components
describe
allows
tsubst
printer
specified
struct
element
predicates
src
structures
partial
satisfy
dst
equations
syntax
ปี:
1988
ภาษา:
english
ไฟล์:
DJVU, 1.20 MB
แท็กของคุณ:
0
/
0
english, 1988
1
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×