> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Formal methods and testing : an outcome of the FORTEST network ; revised selected papers Beteiligte: Hierons, Robert M. [Herausgeber:in]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Harman, Mark [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2008 Erschienen in: Lecture notes in computer science ; 4949 Umfang: XI, 366 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 3540789162; 9783540789161 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12249992 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Formale Methode Software > Testen Entstehung: Anmerkungen: Literaturangaben Parallel als Online-Ausg. erschienen Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 9181 Barcode: 31994677 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung