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
The semantics of programming languages: an elementary introduction using structural operational semantics
Wiley
Matthew Hennessy
computation
exp
abstract
induction
evaluate
function
values
prove
figure
definitions
variables
equal
step
syntax
inductive
boolean
arithmetic
syntactic
defined
declaration
command
apply
opr
numeral
fpl
structural
implies
stack
env
applying
corresponding
assume
consider
evaluated
previous
operational
statement
theorem
seniantics
programs
total
denote
evaluates
numerals
symbols
element
evaluating
euu
unique
categories
Yıl:
1990
Dil:
english
Dosya:
DJVU, 2.15 MB
Etiketleriniz:
0
/
0
english, 1990
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
×
×