Saltar al contenido principal
Pánel lateral
Inicio
Alle Kurse
Anwendungen
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
Más
Español - México (es_mx)
አማርኛ (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_kids)
Deutsch (de)
Deutsch (du) (de_du)
eesti (et)
English (en_kids)
English (en)
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 (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)
En este momento está usando el acceso para invitados
Iniciar sesión (ingresar)
Inicio
Alle Kurse
Anwendungen
Colapsar
Expandir
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Colapsar
Expandir
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
JavaScript está deshabilitado en su navegador.
Muchas características de Moodle no se podrán usar o aparecerán rotas.
Por favor habilite JavaScript para poder tener la experiencia Moodle completa.
Opciones de inscripción
Fakultät WIAI
Informatik
Lehrstuhl für Praktische Informatik, insbes. Softwaretechnik und Programmiersprachen
Sommersemester 2024
SWT-ASV-M: Applied Software Verification – SoSe 2024
Opciones de inscripción
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
Auto-inscripción (Teilnehmer/in)
Auto-inscripción (Teilnehmer/in)
Auto-inscripción (Teilnehmer/in)
Los invitados no pueden acceder a este curso. Por favor inicie sesión .
Continuar
Impressum
|
Datenschutzerklärung
|
Kontakt
|
Urheberrecht