FORMS/FORMAT 2010

FORMS/FORMAT 2010

formal methods for automation and safety in railway and automotive systems

2/5
Ilkinji çap edildi
2011
Neşirýatçylar
Springer
Dil
English

Kitaplar

Şuňa meňzeş kitaplar