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: Online-Ausg.: Specification and verification of object-oriented software components. 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
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