ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
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
Anno:
2022
Lingua:
english
File:
PDF, 683 KB
I tuoi tag:
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
𝑃
Anno:
2021
Lingua:
italian
File:
PDF, 562 KB
I tuoi tag:
0
/
5.0
italian, 2021
3
C Programming A Modern Approach [CD-ROM]
W. W. Norton
K. N. King
printf
void
programming
programs
approach
reserved
norton
retained
stdio.h
scanf
stack
char
rank
struct
define
prints
suit
inventory
error
bool
new_node
ptr
terminate
argv
guess
push
reminders
is_empty
stdlib.h
quantity
sizeof
const
getchar
item
database
node
commission
contents
exit_failure
false
num_parts
num_remind
on_hand
secret_number
command
current
digit
find_part
flush
is_full
Anno:
2008
Lingua:
english
File:
ZIP, 51 KB
I tuoi tag:
0
/
0
english, 2008
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×