Treffer 1 – 2 von 2 für Suche 'Dinh, Thi-Thanh-Huong', Suchdauer: 0,04s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Semantik konstruktiver Spezifikationen von Dinh Thi Thanh, Huong
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
2
Correctness proofs and probabilistic tests for constructive specifications and functional programs von Dinh, Thi-Thanh-Huong
Veröffentlicht 2001Signatur: Wird geladen …
Standort: Wird geladen …