Period of time： 2014年1期
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 31,issue 1
Menu
Symbolic method of verification of definite iterations over altered data structures
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.
Access to resources
Recommend
Survey of compiler testing methods
By Kossatchev A.,Posypkin M. in (2005)
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.An approach to the development of debuggers that use semantics of constructs of parallel programs
By Kalinov A.,Karganov K.,Khorenko K. in (2005)
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.A UML-based modeling of web application controller
By Gorshkova E.,Novikov B.,Belov D.,Gurov V.,Spiridonov S. in (2005)
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.Implementation of the XML linking language XLink by functional methods
By Lizorkin D.,Lisovsky K. in (2005)
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.Problems of the development and quality control of large software systems
Programming and Computer Software,volume 31,issue 1 , Vol. 31, Iss. 1, 2005-01 , pp.