Treffer: Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Titel:

Verantwortlich:

Entstehung:

2007

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Deutsch

Hochschulschrift:

Dissertation, Technische Universität Darmstadt, 2007

RVK-Notation:

Schlagworte:

Zusatz-Informationen