Вы здесь

Главная

контрольный

Связанные издания:

Modelling and Simulation for Autonomous Systems: Revised Selected Papers/1st International Workshop, MESAS 2014, Rome, Italy, May 2014
Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012