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
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Springer International Publishing
Daniel R. Licata
,
Guillaume Brunerie (auth.)
,
Georges Gonthier
,
Michael Norrish (eds.)
function
theorem
lemma
memory
functions
prove
proofs
abstract
ϕ
coq
operations
nfa
programs
first
context
variables
defined
springer
transfer
implementation
isabelle
inductive
lncs
define
τ1
map
target
tainted
heidelberg
programming
formal
initial
finite
compiler
formalization
closure
package
verified
verification
τ2
induction
nfa1
nfa2
policy
quotient
security
check
definition
algorithm
lists
Godina:
2013
Jezik:
english
Fajl:
PDF, 3.54 MB
Vaši tagovi:
0
/
0
english, 2013
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
×
×