Methods for the formal analysis of software tool systems of computers based on the theory of unification
Kashirin, Igor Yuryevich, 1997, Doctor of Sciences dissertation
Moscow
409 pp.
More works in this specialty
- Research and development of a method for automatic classification of Internet user behavior
Shcherbina, Andrey Andreyevich · 2007 · Candidate of Sciences
- Investigation and implementation of non-procedural program transformations for building an extensible parallelization system
Zhegulo, Olga Anatol'evna · 2007 · Candidate of Sciences · Southern Federal University
- Methods of estimating software development effort for corporate information systems
Melamed, Aleksandr Yakovlevich · 2006 · Candidate of Sciences
- Research and implementation of methods for building corporate software systems to support changing business processes
Yarnykh, Andrey Valeryevich · 2006 · Candidate of Sciences
- Controlled intruder access in a computer network security system
Gorodetsky, Pavel Eduardovich · 2006 · Candidate of Sciences