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. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: swmRef=041240227

Zurück zur Trefferliste


Treffer 15 von 20 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1206805390
Titel Formale Methoden in der Praxis / Bernd-Holger Schlingloff
Person(en) Schlingloff, Bernd-Holger (Verfasser)
Verlag Berlin : Humboldt-Universität zu Berlin
Zeitliche Einordnung Erscheinungsdatum: 2002
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:kobv:11-10045721
DOI: 10.18452/1701
URL http://edoc.hu-berlin.de/18452/2353 (Verlag) (kostenfrei zugänglich)
Sprache(n) Einzelne andere Sprachen (und)
Anmerkungen In: Antrittsvorlesung, Ausgabe 138, Seite 3-48, 2005
Schlagwörter Formale Methode* ; Bordcomputer* ; Rakete* ; Ariane 5* ; Software* (*maschinell ermittelt)
DDC-Notation 005.13 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 15 von 20
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration