Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

бо Marco Bernardo
3/5
Аввалин нашр шуд
May 21, 2014
Ноширон
Springer

Китобҳо

Китобҳои монанд