Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
Neuigkeiten Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 

Ergebnis der Suche nach: "security"

Zurück zur Trefferliste


Treffer 702 von 2439 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/900884622
Art des Inhalts Aufsatzsammlung
Titel Sichere Software : formale Spezifikation und Verifikation vertrauenswürdiger Systeme ; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989 / Heinrich Kersten (Hrsg.)
Person(en) Kersten, Heinrich (Herausgeber)
Organisation(en) Zentralstelle für Sicherheit in der Informationstechnik (Bonn) (Herausgebendes Organ)
Verlag Heidelberg : Hüthig
Zeitliche Einordnung Erscheinungsdatum: 1990
Umfang/Format 315 S. : graph. Darst. ; 24 cm
ISBN/Einband/Preis 978-3-7785-1983-7 kart. : DM 68.00
3-7785-1983-2 kart. : DM 68.00
Sprache(n) Deutsch (ger), Englisch (eng)
Anmerkungen Literaturangaben
Status nach VGG: vergriffen
Schlagwörter Programmverifikation ; Aufsatzsammlung
Softwarespezifikation ; Aufsatzsammlung
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 90/33074
Bereitstellung in Frankfurt
Leipzig Signatur: 1990 A 30046
Bereitstellung in Leipzig




Treffer 702 von 2439
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration