Yazar
Gerardo Schneider
2 cilt bulundu.
Cilt sonuçları
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh · Springer
450 sayfa · 2020
Kategori yok
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider · Springer London, Limited
Sayfa sayısı yok · 2011
Kategori yok