От редакторов специального выпуска

Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также доклад...

وصف كامل

التفاصيل البيبلوغرافية

التنسيق:	Artigo
اللغة:	Inglês
منشور في:	Yaroslavl State University 2013-12-01
سلاسل:	Моделирование и анализ информационных систем
الوصول للمادة أونلاين:	https://www.mais-journal.ru/jour/article/view/153
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!