Treffer 1 - 2 von 2 für Suche 'Davies, Jim', Suchdauer: 0,02s Treffer weiter einschränken
1
Integrated Formal Methods
von Davies, Jim, Gibbons, Jeremy
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Formal Methods: Foundations and Applications
von Davies, Jim, Silva, Leila, Simao, Adenilso
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:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden