recherche de livres
livres
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
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
Année:
2011
Langue:
english
Fichier:
PDF, 3.15 MB
Vos balises:
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
Année:
2011
Langue:
english
Fichier:
PDF, 2.27 MB
Vos balises:
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
Année:
2011
Langue:
english
Fichier:
EPUB, 3.64 MB
Vos balises:
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
Année:
2002
Langue:
english
Fichier:
PDF, 12.35 MB
Vos balises:
0
/
0
english, 2002
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×