Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag, 18. Februar bis Montag, 24. Februar 2025, 11:00 Uhr: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Inbetriebnahme der Medienausleihe und der angrenzenden Lesesäle erfordert diese Schließzeit.
 
 

Ergebnis der Suche nach: idn=970650256



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/970650256
Art des Inhalts Hochschulschrift
Titel Verifikation regelbasierter Konfigurationssysteme / vorgelegt von Carsten Sinz
Person(en) Sinz, Carsten (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2003
Umfang/Format X, 227 S. : Ill., graph. Darst. ; 21 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Sinz, Carsten: Verifikation regelbasierter Konfigurationssysteme
Hochschulschrift Tübingen, Univ., Diss., 2003 (Nicht für den Austausch)
Schlagwörter Mercedes <Marke> ; Personenkraftwagen ; Variantenfertigung ; Produktdaten ; Technische Unterlage ; Konfigurationsmanagement
Technische Unterlage ; Konsistenzprüfung ; Programmverifikation ; Produktionsregelsystem ; Dynamische Aussagenlogik ; Automatisches Beweisverfahren
Sachgruppe(n) 004 Informatik

Frankfurt Signatur: 2005 A 27559
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2004 A 8524
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration