Вы здесь

Главная

автоматное программирование

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

Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Разработка автоматных программ методом трансформации требований
Разработка программной системы для генерации автоматных программ
Технология автоматного программирования на примере программы управления лифтом