Bağış 15 Eylül 2024 – 1 Ekim 2024
Bağış toplama hakkında
kitap ara
kitaplar
Bağış:
20.7% ulaştı
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
LITERA Point aç
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Automated Database Applications Testing: Specification Representation for Automated Reasoning
World Scientific Publishing Company
Rana Rarid Mikhail
,
Donald Berndt
,
Abraham Kandel
specdb
constraint
testing
varchar2
specifications
database
prompt
key
alter
check
scientific
november
6in
9in
output
tools
automated
operation
values
integer
constraints
formal
record
input
cases
algorithm
specification
commission
defined
predicate
current
references
specified
errors
stored
restrictions
engineering
operations
automatically
inputs
actual
subroutine
component
outputs
shown
valid
insert
implementation
specific
sql
Yıl:
2010
Dil:
english
Dosya:
PDF, 2.24 MB
Etiketleriniz:
0
/
0
english, 2010
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
×
×