TU Darmstadt / ULB / TUbiblio

Context dependent procedures and computed types in veriFun

Schlosser, A. ; Walther, Christoph ; Gonder, M. ; Aderhold, Markus (2007)
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science, 174 (7)
doi: 10.1016/j.entcs.2006.10.038
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2007
Autor(en): Schlosser, A. ; Walther, Christoph ; Gonder, M. ; Aderhold, Markus
Art des Eintrags: Bibliographie
Titel: Context dependent procedures and computed types in veriFun
Sprache: Englisch
Publikationsjahr: 4 Juni 2007
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Electronic Notes in Theoretical Computer Science
Jahrgang/Volume einer Zeitschrift: 174
(Heft-)Nummer: 7
DOI: 10.1016/j.entcs.2006.10.038
URL / URN: https://www.sciencedirect.com/science/article/pii/S157106610...
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:25
Letzte Änderung: 04 Jun 2020 13:01
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen