Yazar
Toshiaki Aoki
1 cilt bulundu.
Cilt sonuçları
Formal Methods and Software Engineering
Toshiaki Aoki, Kenji Taguchi · Springer London, Limited
527 sayfa · 2012
Software engineering / System design / Formal methods (Computer science) / Congresses / Computer software