Bjorner, Dines

NJSZT kitüntetés:
1992: Neumann-plakett - Laudáció

A Dán Műszaki Egyetem (DTU) professzora, a szoftvertechnológia formális módszereinek neves szakembere. A Vienna Development Method (VDM) megalkotója.

 

 

Lásd még:

Létrehozva: 2018.06.17. 09:29
Utolsó módosítás: 2018.09.24. 17:46