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

Von:

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Karlsruhe : Universitätsverlag, 2006Beschreibung: XVIII, 248 S ; 21 cm, 350 grISBN:

Schlagwörter:

Genre/Form:

Andere physische Formen: Erscheint auch als: Specification and verification of object-oriented software components. Online-Ausgabe Karlsruhe : Universitätsverlag, 2006. Online-RessourceDDC-Klassifikation:

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

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

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Barcode
Archiv (Magazin CS)	Bibliothek Campus Süd		Archiv	2006 DA 96		Verfügbar	48557262090
Freihandbestand Präsenznutzung	Bibliothek Campus Süd	inf 11	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2006 DA 96	;b	Nicht ausleihbar	48557228090
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	2006 DA 96	;c	Verfügbar	48557182090

Anzahl Vormerkungen: 0

Archivierung prüfen 20231104 DE-640 2 pdager

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90