Yazar
ernst rudiger olderog
7 cilt bulundu.
Cilt sonuçları
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog · Springer Berlin Heidelberg
Sayfa sayısı yok · 1994
Programmverifikation
Provably Correct Systems
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog · Springer
328 sayfa · 2017
Software engineering / Programming languages (electronic computers)
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Correct System Design
Ernst-Rüdiger Olderog, Bernhard Steffen · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok