FORMS/FORMAT 2010

FORMS/FORMAT 2010

formal methods for automation and safety in railway and automotive systems

2/5
İlk nəşr olundu
2011
Nəşriyyatçılar
Springer
Dil
English

Kitablar

Oxşar kitablar