Return to search

Specification and verification of object oriented software components

University, Diss., 2006--Karlsruhe.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179984606
Date January 2006
CreatorsRoth, Andreas.
PublisherKarlsruhe : Univ.-Verl. Karlsruhe,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0011 seconds