Specification and verification of object-oriented software components / by Andreas Roth

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Karlsruhe : Universitätsverlag, 2006Description: XVIII, 248 S ; 21 cm, 350 grISBN:

Subject(s):

Genre/Form:

Additional physical formats: Online-Ausg.: Specification and verification of object-oriented software components. Karlsruhe : Universitätsverlag, 2006. Online-RessourceDDC classification:

Note: Hinweis: Auch als elektronische Version verfügbar - Zugang über WWWAction note:

Dissertation note: Zugl.: Karlsruhe, Univ., Diss., 2006 Call number: Grundsignatur: 2006 DA 96PPN: PPN: 516045245

Holdings
Item type	Home library	Collection	Shelving location	Call number	Copy number	Status	Date due	Barcode	Item holds
Freihandbestand Präsenznutzung	Bibliothek Campus Süd	inf 11	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2006 DA 96	;b	Not for loan		48557228090
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	2006 DA 96	;c	Available		48557182090

Total holds: 0

Archivierung prüfen 20231104 DE-640 2 pdager