İanələr 15 sentyabr 2024 – 1 oktyabr 2024
Vəsaitlərin toplanılması haqqında
kitab axtarışı
kitablar
İanələr:
63.6% olunub
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
A theory of Objects
Springer
Martín Abadi
,
Luca Cardelli
method
update
calculi
methods
x:a
subtyping
typing
calculus
ie1
oriented
iel
lemma
wrap
inheritance
untyped
interpretation
subsumption
programming
reduction
subclass
covariant
syntax
unfold
function
record
judgment
imperative
recursive
subtype
induction
structural
a.lj
examples
typed
variance
features
contents
select
distinct
li:bi
xi:a
typecase
components
integer
invariant
attributes
invocation
iei
backup
define
İl:
1996
Dil:
english
Fayl:
PDF, 25.93 MB
Sizin teqləriniz:
5.0
/
5.0
english, 1996
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×