Yazar
Richard Bubel
3 cilt bulundu.
Cilt sonuçları
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt · Springer
Sayfa sayısı yok · 2016
Computer software
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen · Springer International Publishing AG
533 sayfa · 2022
Kategori yok
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok