Yazar
Wolfgang Ahrendt
6 cilt bulundu.
Cilt sonuçları
Tarifvertragsgesetz
Wolfgang Däubler, Martina Ahrendt · Nomos
2019 sayfa · 2012
Transfer / Employees / Law and legislation / Collective labor agreements / Employees, transfer
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 - the KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt · Springer
Sayfa sayısı yok · 2016
Computer software
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