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: Erscheint auch als: Specification and verification of object-oriented software components. Online-Ausgabe 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	Barcode
Archiv (Magazin CS)	Bibliothek Campus Süd		Archiv	2006 DA 96		Available	48557262090
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

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90