Вы здесь

Главная

изменяемый

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

Evolutionary Computation in Combinatorial Optimization: Proc./15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 2015
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Символический метод верификации финитных итераций над изменяемыми структурами данных