Yazar
Pekka Pihlajasaari
1 cilt bulundu.
Cilt sonuçları
FM 2014 : Formal Methods
Cliff Jones, Pekka Pihlajasaari, Jun Sun · Springer
768 sayfa · 2014
Computer software, development / System design / Software engineering / Computer science / Logic design