Toon 1 - 3 resultaten van 3 Voor zoekopdracht 'Beckert, Bernhard', zoektijd: 0,09s Verfijn jouw resultaten
1
Automated Reasoning with Analytic Tableaux and Related Methods
door Beckert, Bernhard
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
2
Tests and Proofs
door Beckert, Bernhard, Hähnle, Reiner
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
3
Verification of Object-Oriented Software. The KeY Approach
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen