English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Autor*innen
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Titel
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Weitere Person(en)
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Gutachter*innen
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Zusammenfassung
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Volltext
Alle Wörter
Keines der Wörter
Filtern
Volltext vorhanden
nein
(1)
Autor*in
Huong, Dinh Thi Thanh
(1)
Erscheinungsjahr
2001
(1)
Dokumenttyp
Dissertation
(1)
Sprache
Englisch
(1)
Gehört zur Bibliographie
ja
(1)
Institut
Institut für Informatik und Computational Science
(1)
1
Treffer
1
bis
1
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Correctness proofs and probabilistic tests for constructive specifications and functional programs
(2001)
Huong, Dinh Thi Thanh
1
bis
1
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.