Treffer 1 - 2 von 2 für Suche 'Bjørner, Nikolaj', Suchdauer: 0,04s Treffer weiter einschränken
1
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
von Bjørner, Nikolaj, de Boer, Frank
Veröffentlicht 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Perspectives of System Informatics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden