Sumbangan 15 September 2024 – 1 Oktober 2024
Tentang pengumpulan dana
pencarian buku
buku
Sumbangan:
65.9% dicapai
Masuk
Masuk
pengguna terdaftar memiliki akses ke:
rekomendasi pribadi
Bot Telegram
riwayat unduhan
mengirim ke alamat email atau Kindle
manajemen daftar buku
penyimpanan ke Favorit
Pribadi
Permintaan untuk buku
Pengkajian
Z-Recommend
Daftar buku
Yang paling populer
Kategori
Partisipasi
Mendukung
Unggahan
Litera Library
Menyumbangkan buku kertas
Menambah buku kertas
Search paper books
LITERA Point saya
Pencarian kata kunci
Main
Pencarian kata kunci
search
1
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Wiley-ISTE
Jean-Louis Boulanger
formal
systems
event
methods
method
safety
figure
complex
abstract
specification
refinement
tools
modeling
implementation
variables
validation
machines
models
jml
context
constraint
operations
java
functions
invariant
abr
operation
verification
generation
events
requirement
atelier
function
components
bou
analysis
floating
approach
automatic
uml
circuit
industrial
behavior
values
generated
allows
developed
refinement
sets
constraints
Tahun:
2014
Bahasa:
english
File:
PDF, 9.27 MB
Tag Anda:
0
/
0
english, 2014
2
Java Software Development with Event B
Morgan & Claypool Publishers
Néstor Cataño Collazos
event
content
chat
session
refinement
invariant
abstract
active
rodin
users
chatting
formal
invariants
function
guard
variables
events
java
delete
concrete
functionality
item
implementation
network
sets
total
blueprint
method
muted
adds
eventb2java
permissions
defined
specification
chatcontent
range
figure
generated
exists
methods
refined
specifications
surjective
sessions
behavior
element
inactive
poporo
checks
goal
Tahun:
2020
Bahasa:
english
File:
EPUB, 5.27 MB
Tag Anda:
0
/
0
english, 2020
3
Java Software Development with Event B
Morgan & Claypool Publishers
Néstor Cataño Collazos
,
Luciano Baresi
event
content
chat
session
refinement
invariant
abstract
active
rodin
users
chatting
formal
invariants
function
guard
variables
events
java
delete
concrete
functionality
item
implementation
network
sets
total
blueprint
method
muted
adds
eventb2java
permissions
defined
specification
chatcontent
range
figure
generated
exists
methods
refined
specifications
surjective
sessions
behavior
element
inactive
poporo
checks
goal
Tahun:
2020
Bahasa:
english
File:
EPUB, 3.40 MB
Tag Anda:
0
/
0
english, 2020
4
Java Software Development with Event B: A Practical Guide
MORGAN & CLAYPOOL
Luciano Baresi (editor)
,
Néstor Cataño Collazos
event
chat
content
session
invariant
refinement
active
chatcontent
abstract
chatting
invariants
rodin
users
formal
guard
delete
variables
function
screen
events
muted
inactive
concrete
java
network
functionality
item
poporo
implementation
sets
act1
cts
specification
total
blueprint
integer
act2
grd2
method
methods
range
adds
eventb2java
permissions
sessions
defined
extends
grd1
refined
toread
Tahun:
2020
Bahasa:
english
File:
PDF, 2.33 MB
Tag Anda:
0
/
5.0
english, 2020
1
Pindah ke
tautan ini
atau temukan bot "@BotFather" di Telegram
2
Kirimlah perintah /newbot
3
Masukkan nama untuk bot Anda
4
Masukkan nama pengguna untuk bot
5
Salin pesan terbaru dari BotFather dan masukkannya di sini
×
×