[go: up one dir, main page]

Katalog der Deutschen Nationalbibliothek

Neuigkeiten 24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: nid=10903046X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/10903046X
Person Bjørner, Dines
Geschlecht männlich
Andere Namen Bjørner, D.
Bjorner, Dines
Bjorner, D.
Quelle LCAuth
Zeit Lebensdaten: 1937-
Land Dänemark (XA-DK)
Beruf(e) Informatiker
Weitere Angaben tätig am Dept. of Computer Sci., Tech. Univ. of Denmark, Lyngby
Informatiker
Typ Person (piz)
Autor von 1 Publikation
  1. Software engineering
    Bjørner, Dines. - Berlin : Springer
Beteiligt an 16 Publikationen
  1. Logics of specification languages
    Berlin : Springer, 2008
  2. Formal methods and hybrid real time systems
    Berlin : Springer, 2007
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration