Вы здесь

Главная

алгебра процессов

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

Unifying Theories of Programming: Revised Selected Papers/First International Symposium, UTP 2006. Walworth Castle, County Durham, UK, February 2006
Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012