Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024
Դրամահավաքի մասին
գրքերի որոնում
գրքեր
Նվիրատվություններ:
22.9% իրականացված է
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Բացել LITERA Point
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Programmverifikation: Sequentielle, parallele und verteilte Programme
Springer-Verlag Berlin Heidelberg
Prof. Dr. Krzysztof R. Apt
,
Prof. Dr. Ernst-Rüdiger Olderog (auth.)
programme
korrektheit
gilt
programm
komponenten
variablen
lemma
programmen
parallele
beispiel
fiir
wobei
beweis
parallelen
integer
semantik
beweissystem
beweisen
totale
betrachten
zeigen
beweisskizzen
folgende
partielle
folgt
urn
beweisskizze
false
zustand
anweisung
freiheit
abschnitt
programms
berechnung
falls
aufgabe
komposition
interferenz
await
zusicherungen
komponente
deadlock
verifikation
anweisungen
korrektheitsformel
benutzen
oddtop
regeln
erhalten
standard
Տարի:
1994
Լեզու:
german
Ֆայլ:
PDF, 5.39 MB
Ձեր թեգերը:
0
/
0
german, 1994
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×