Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.
 
 

Ergebnis der Suche nach: idn=1056974966



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1056974966
Art des Inhalts Hochschulschrift
Titel Quality and quantity in robustness checking using formal techniques / Stefan Frehse
Person(en) Frehse, Stefan (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2013
Umfang/Format 182 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Frehse, Stefan: Quality and Quantity in Robustness-Checking Using Formal Techniques
Hochschulschrift Bremen, Univ., Diss., 2013
Sprache(n) Englisch (eng)
DDC-Notation 004.21 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2014 B 28082
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2014 B 29138
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