kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
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
Yıl:
2022
Dil:
english
Dosya:
PDF, 683 KB
Etiketleriniz:
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
𝑃
Yıl:
2021
Dil:
italian
Dosya:
PDF, 562 KB
Etiketleriniz:
0
/
5.0
italian, 2021
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×