Mostrar 1 - 3 resultats de 3 per cerca 'Beckert, Bernhard', hora de la petició: 0.02sec Refinar resultats
1
Automated Reasoning with Analytic Tableaux and Related Methods
per Beckert, Bernhard
Publicat 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
2
Tests and Proofs
per Beckert, Bernhard, Hähnle, Reiner
Publicat 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
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
Obtenir text complet
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca