Treffer: Specification and verification of object oriented software components
Titel:
Specification and verification of object oriented software components / by Andreas Roth
Beteiligt:
Veröffentlicht:
Karlsruhe : Univ.-Verlag Karlsruhe, 2006
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität Karlsruhe, 2006
Schlagworte:
ISBN:
3866440421