kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Verification of Business Rules Programs
Springer-Verlag Berlin Heidelberg
Bruno Berstel-Da Silva (auth.)
correctness
programs
execution
eligibility
variables
formula
formulas
instances
ghost
strategy
transition
verification
sect
consider
attribute
valuation
alice
assertions
defined
parallel
assertion
interference
typed
unary
systems
memory
executions
ı2
p:bonus
fqg
fpi
p:age
guard
assignment
constraint
symbols
eligible
executed
fr1
focused
lemma
brms
derived
fqi
global
method
selection
cases
feature
nondeterministic
Yıl:
2014
Dil:
english
Dosya:
PDF, 3.39 MB
Etiketleriniz:
0
/
0
english, 2014
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×