Period of time: 2014年5期
Publisher: MAIK Nauka/Interperiodica
Founded in: 1975
Total resources: 29
ISSN: 0361-7688
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Programming and Computer Software,volume 36,issue 5
Menu
Interaction semantics with refusals, divergence, and destruction
By Bourdonov I.,Kossatchev A. in (2010)
Programming and Computer Software,volume 36,issue 5 , Vol. 36, Iss. 5, 2010-09 , pp.On complementary principles of object-oriented constraint programming
By Semenov V.,Dragalov K.,Ilyin D.,Morozov S.,Sidyaka O. in (2010)
Programming and Computer Software,volume 36,issue 5 , Vol. 36, Iss. 5, 2010-09 , pp.Application of if-conversion to verification and optimization of workflows
Programming and Computer Software,volume 36,issue 5 , Vol. 36, Iss. 5, 2010-09 , pp.Component architecture of model-based testing environment
Programming and Computer Software,volume 36,issue 5 , Vol. 36, Iss. 5, 2010-09 , pp.