წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Rigorous Software Development
Springer Science & Business Media
José Bacelar Almeida
,
Maria João Frade
,
Jorge Sousa Pinto
,
Simão Melo de Sousa
verification
formula
formal
variables
function
specification
formulas
methods
hoare
propositional
programs
valid
array
safety
consider
procedures
proposition
correctness
precondition
systems
tools
error
interpretation
reasoning
defined
sect
parameters
programming
functions
integer
logical
triple
postcondition
symbols
invariant
approach
execution
arrays
values
vcgen
context
prove
contracts
predicate
inference
invariants
parameter
step
assignment
checking
წელი:
2011
ენა:
english
ფაილი:
PDF, 3.15 MB
თქვენი თეგები:
0
/
0
english, 2011
2
Rigorous Software Development
Independely Published
José Bacelar Almeida
,
Maria João Frade
,
Jorge Sousa Pinto
,
Simão Melo de Sousa
verification
formula
formal
variables
function
specification
formulas
methods
hoare
propositional
programs
valid
array
safety
consider
procedures
proposition
correctness
precondition
systems
tools
error
interpretation
reasoning
defined
sect
parameters
programming
functions
integer
logical
triple
postcondition
symbols
invariant
approach
execution
arrays
values
vcgen
context
prove
contracts
predicate
inference
invariants
parameter
step
assignment
checking
წელი:
2011
ენა:
english
ფაილი:
PDF, 2.27 MB
თქვენი თეგები:
0
/
5.0
english, 2011
3
Rigorous Software Development
Springer London
José Bacelar Almeida
,
Maria João Frade
,
Jorge Sousa Pinto
,
Simão Melo de Sousa
verification
formula
formal
variables
specification
function
formulas
methods
array
hoare
propositional
valid
programs
safety
consider
proposition
correctness
systems
reasoning
procedures
defined
tools
precondition
sect
programming
functions
interpretation
parameters
triple
logical
execution
symbols
approach
arrays
context
values
prove
vcgen
postcondition
invariants
step
corresponding
springer
equality
exists
behaviour
inference
previous
proved
theorem
წელი:
2011
ენა:
english
ფაილი:
EPUB, 3.64 MB
თქვენი თეგები:
0
/
0
english, 2011
4
Proof and System-Reliability
Springer Netherlands
G. Hamrin
,
V. Stoltenberg-Hansen (auth.)
,
Helmut Schwichtenberg
,
Ralf Steinbrüggen (eds.)
function
abstract
theorem
variables
defined
programs
finite
input
induction
formulas
functions
define
formula
programming
complexity
lemma
systems
checking
proofs
abstraction
computation
logical
recursive
figure
atomic
effective
hoare
calculus
syntax
consider
completeness
concrete
step
values
algebraic
models
computational
polynomial
checker
sets
interpretation
turing
recursion
verification
approach
continuous
introduction
usual
behaviour
composition
წელი:
2002
ენა:
english
ფაილი:
PDF, 12.35 MB
თქვენი თეგები:
0
/
0
english, 2002
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×