Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
 
 

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