carian buku
buku
Menyokong
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
search
1
Modeling Companion for Software Practitioners
Springer Berlin Heidelberg
Egon Börger
,
Alexander Raschke
asm
asms
node
sect
step
refinement
defined
abstract
function
entry
modeling
coreasm
component
update
execution
behavior
forall
functions
rreq
machines
models
current
updates
active
define
concurrent
nodes
messages
values
components
specification
choose
sender
springer
plug
undef
cond
corresponding
destination
systems
correctness
destseqnum
req
refined
processes
false
constructs
sequential
edge
switch
Tahun:
2018
Bahasa:
english
Fail:
PDF, 4.66 MB
Tag anda:
0
/
0
english, 2018
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×