| The author: | Kostilev Egor Vyàcheslavovich |
| Dissertation theme: | Algorithms of antiunification and their application for an evaluation of invariants of programs |
| The dissertation description: | Algorithms of antiunification and their application for an evaluation of invariants of programs: a thesis... The candidate of physical and mathematical sciences: 01.01.09 / Kostylev Egor Vjacheslavovich; [a guard Place: Mosk. gos. Un y of M.V.Lomonosova]. Moscow, 2008.220 p.: silt. RSL OD, 61 09-1/421 |
| Year: | 2008 |
For information reception on access to dissertational work fill please the form presented more low