Yazar
Reiner Haehnle
1 cilt bulundu.
Cilt sonuçları
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer · Springer
347 sayfa · 2014
Computer software, development / System design / Software engineering / Computer science / Information theory