pretraga knjiga
knjige
Donirati
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Cambridge University Press
Yves Bertot
,
Gerard Huet
,
Jean-Jacques Levy & Gordon Plotkin (edt)
programming
function
kahn
defined
gilles
programs
first
functions
systems
input
values
abstract
theorem
syntax
definition
networks
inria
variables
models
calculus
processes
output
analysis
lemma
different
streams
define
infinite
finite
step
recursive
scientific
equations
sequential
bisimulation
library
parallel
computation
approach
coq
tools
vertex
algorithms
rho
firing
continuous
execution
leordo
graph
flow
Godina:
2009
Jezik:
english
Fajl:
PDF, 4.04 MB
Vaši tagovi:
0
/
0
english, 2009
2
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Cambridge University Press
Yves Bertot
,
Gérard Huet
,
Jean-Jacques Lévy
,
Gordon Plotkin
programming
function
kahn
defined
gilles
programs
first
functions
systems
input
values
abstract
theorem
syntax
definition
networks
inria
variables
models
calculus
processes
output
analysis
lemma
different
streams
define
infinite
finite
step
recursive
scientific
equations
sequential
bisimulation
library
parallel
computation
approach
coq
tools
vertex
algorithms
rho
firing
continuous
execution
leordo
graph
flow
Godina:
2009
Jezik:
english
Fajl:
PDF, 4.04 MB
Vaši tagovi:
0
/
0
english, 2009
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×