Exceptions modelling in imperative programs in terms of Petri nets

Πηγή: Вычислительные технологии.

Θεματικοί όροι: язык программирования, verification of programs, programming languages, сети Петри, Petri nets, automatic construction of program models, автоматическое построение моделей программ, верификация программ