検索結果 1 - 2 結果 / 2 検索語 'Davies, Jim', 処理時間: 0.08秒 結果の絞り込み
1
Integrated Formal Methods
著者: Davies, Jim, Gibbons, Jeremy
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
2
Formal Methods: Foundations and Applications
著者: Davies, Jim, Silva, Leila, Simao, Adenilso
出版事項 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
検索ツール: RSSフィード — 検索結果をメール