Прескочи на основното съдържание
Страничен панел
Начална страница
Alle Kurse
Infos zum VC
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
Още
Български (bg)
አማርኛ (am)
Afrikaans (af)
Aranés (oc_es)
Asturianu (ast)
Azərbaycanca (az)
Bahasa Indonesia (id)
Bahasa Melayu (ms)
Bosanski (bs)
Català (ca)
Català (Valencià) (ca_valencia)
Čeština (cs)
Cymraeg (cy)
Dansk (da)
Deutsch (community) (de_comm)
Deutsch (de)
Deutsch (du) (de_du)
Deutsch (kids) (de_kids)
eesti (et)
English (en)
English (kids) (en_kids)
English (pirate) (en_ar)
English (United States) (en_us)
Español - Argentina (es_ar)
Español - España (es_es)
Español - Internacional (es)
Español - México (es_mx)
Euskara (eu)
Filipino (fil)
Finlandssvenska (sv_fi)
Føroyskt (fo)
Français (Canada) (fr_ca)
Français (fr)
Gaeilge (ga)
Gàidhlig (gd)
Galego (gl)
Hausa (ha)
Hrvatski (hr)
isiZulu (zu)
Íslenska (is)
Italiano (it)
Japanese (kids) (ja_kids)
Kalaallisut (kl)
Kiswahili (sw)
Kurmanji (kmr)
Latin (la)
Latviešu (lv)
Lëtzebuergesch (lb)
Lietuvių (lt)
Lietuvių (universitetas) (lt_uni)
magyar (hu)
Māori - Tainui (mi_tn)
Māori - Waikato (mi_wwow)
Nederlands (nl)
Norsk - nynorsk (nn)
Norsk (no_gr)
Norsk (no)
O'zbekcha (uz)
Polski (pl)
Português - Brasil (pt_br)
Português - Portugal (pt)
Română (ro)
Romansh Sursilvan (rm_surs)
Samoan (sm)
Shqip (sq)
Slovenčina (sk)
Slovenščina (sl)
Soomaali (so)
Srpski (sr_lt)
Suomi (fi)
Svenska (sv)
Tagalog (tl)
Tamil (ta)
Thai (th)
Tongan (to)
Türkçe (tr)
Turkmen (tk)
VakaViti (fj)
Vietnamese (vi)
Wolof (wo)
Ελληνικά (el)
Беларуская (be)
Български (bg)
Қазақша (kk)
Македонски (mk)
Монгол (mn)
Русский (ru)
Српски (sr_cr_bo)
Српски (sr_cr)
Српски (sr)
Татар (tt)
Тоҷикӣ (tg)
Українська (uk)
ქართული (ka)
Հայերեն (hy)
עברית (he)
עברית בתי־ספר (he_kids)
اردو (ur)
العربية (ar)
سۆرانی (ckb)
فارسی (fa)
ދިވެހި (dv)
ትግርኛ (ti)
नेपाली (ne)
मराठी (mr)
हिंदी (hi)
বাংলা (bn)
ਪੰਜਾਬੀ (pan)
ગુજરાતી (gu)
தமிழ் (ta_lk)
తెలుగు (te)
ಕನ್ನಡ (kn)
മലയാളം (ml)
සිංහල (si)
ລາວ (lo)
རྫོང་ཁ (dz)
ဗမာစာ (my)
ខ្មែរ (km)
한국어 (ko)
日本語 (ja)
正體中文 (zh_tw)
简体中文 (zh_cn)
В момента имате достъп като гост
Влизане
Начална страница
Alle Kurse
Infos zum VC
Разгъване
Разширяване
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.
Настройки на записването
Fakultät WIAI
Informatik
Lehrstuhl für Praktische Informatik, insbes. Softwaretechnik und Programmiersprachen
Sommersemester 2024
SWT-ASV-M: Applied Software Verification – SoSe 2024
Настройки на записването
SWT-ASV-M: Applied Software Verification – SoSe 2024
SWT-ASV-M: Applied Software Verification (SoSe 2024)
Moderator/in:
Corinna Feldberger
Moderator/in:
Bernhard Luedtke
Moderator/in:
Gerald Lüttgen
Semester
:
2024 Sommersemester
Самозаписване (Teilnehmer/in)
Самозаписване (Teilnehmer/in)
Самозаписване (Teilnehmer/in)
Гости нямат достъп до този курс. Моля, влезете с потребителско име и парола.
Продължаване
Impressum
|
Datenschutzerklärung
|
Kontakt
|
Urheberrecht