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
Introduction to SPARK
AdaCore
Claire Dross
,
Yannick Moy
package
spark
proved
check
info
global
contracts
listing
analysis
function
gnatprove
integer
range
output
introduction
prover
generation
stack
↪
subprogram
element
variables
ghost
array
content
error
positive
nat_array
errors
abstraction
overflow
previous
spark_mode
boolean
depends
postcondition
record
invariant
continues
warning
messages
pragma
push
ring_buffer.adb
correct
unproved
examples
runtime
swap
assertion
Godina:
2022
Jezik:
english
Fajl:
PDF, 683 KB
Vaši tagovi:
0
/
4.5
english, 2022
2
Eiffel nello sviluppo software in gruppi di lavoro complessi
Mattia Monga
↩
feature
integer
ensure
assert
require
eiffel
count
boolean
is_empty
postcondizioni
contratto
deferred
cioè
precondizione
proprietà
rolls
capacity
matrix.item
client
precondizioni
buffer
credit_limit
inherit
item
board
current
oggetto
invariant
oggetti
square
row
void
false
invarianti
other.balance
postcondizione
clock
frame_index
fromw
implies
is_equal
width
c.item
r.item
ring_buffer
valore
invariante
possono
𝑃
Godina:
2021
Jezik:
italian
Fajl:
PDF, 562 KB
Vaši tagovi:
0
/
5.0
italian, 2021
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
×
×