> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Fehlersuche in Formalen Spezifikationen Beteiligte: Reif, Wolfgang [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Thums, Andreas [VerfasserIn] Erschienen: Ulm: Univ., Fak. für Informatik, 2000 Erschienen in: Ulmer Informatik-Berichte ; 2000,06 Umfang: 104 S.; graph. Darst Sprache: Deutsch RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Computer software Quality control Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Ulmer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 2000 4 026377 001 Barcode: 30080057 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung