Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
25.0% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
A Reference Grammar of Classical Japanese Prose
RoutledgeCourzon
Alexander Vovin
attr
verbs
acc
iker
japanese
retr2
neg
pref
hum
marker
prog
tamaf
monogatari
koto
nml
examples
vowel
omof
prince
infinitive
auxiliary
itar
kono
honorific
classical
ttr
attributive
suffixes
particle
caus
prose
nominals
kaguya
faber
chiinagon
suffix
yori
taketori
negative
usage
bakari
gerund
forms
aitr
kokoro
tentative
tatematur
empress
pronouns
markers
Year:
2003
Language:
english
File:
PDF, 12.64 MB
Your tags:
0
/
0
english, 2003
2
The Generic Development Language Deva: Presentation and Case Studies
Springer-Verlag Berlin Heidelberg
Matthias Weber
,
Martin Simons
,
Christine Lafontaine (auth.)
deva
context
version
vdm
formalization
formal
valid
operations
implicit
lists
explicit
proofs
reification
developments
function
defined
equality
theories
reduction
abstract
unfold
concrete
retrieve
operators
thesis
hyp
proceedings
axioms
calculus
import
operation
derived
map
props
specification
versions
step
sect
algorithm
predicate
typing
contexts
induction
reif
seq
calculation
functions
product
introduction
transitivity
Year:
1993
Language:
english
File:
DJVU, 1.48 MB
Your tags:
0
/
0
english, 1993
3
The Generic Development Language Deva: Presentation and Case Studies
Springer-Verlag Berlin Heidelberg
Matthias Weber
,
Martin Simons
,
Christine Lafontaine (auth.)
deva
context
vdm
formalization
formal
version
operations
implicit
lists
proofs
explicit
defined
reification
developments
function
theories
equality
reduction
unfold
valid
concrete
thesis
proceedings
axioms
derived
operation
calculus
operators
abstract
retrieve
specification
versions
sect
step
typing
predicate
algorithm
seq
contexts
calculation
introduction
notation
presented
obligations
finite
formalizations
functions
inits
methods
product
Year:
1993
Language:
english
File:
PDF, 10.85 MB
Your tags:
0
/
0
english, 1993
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×