Đang hiển thị 1 - 3 kết quả của 3 cho tìm kiếm 'Beckert, Bernhard', זמן שאילתה: 0.02s Tinh chỉnh kết quả
1
Automated Reasoning with Analytic Tableaux and Related Methods
מאת Beckert, Bernhard
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
2
Tests and Proofs
מאת Beckert, Bernhard, Hähnle, Reiner
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
3
Verification of Object-Oriented Software. The KeY Approach
מאת Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל