Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Beckert, Bernhard', doba hledání: 0,03 s. Upřesnit hledání
1
Automated Reasoning with Analytic Tableaux and Related Methods
Autor Beckert, Bernhard
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Tests and Proofs
Autor Beckert, Bernhard, Hähnle, Reiner
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
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
Získat plný text
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem