Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=10903046X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://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 15 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
< < > <


E-Mail-IconAdministration