Treffer: Integration of verification and testing into compilation systems

Titel:

Integration of verification and testing into compilation systems : concept and case study / vorgelegt von Klaus Didrich

Verantwortlich:

Entstehung:

2001

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Technische Universität Berlin, 2001

Schlagworte:

Zusatz-Informationen