Seminary |
20.02.2003
A.K.Petrenko (institut Sistemnogo programmirovaniya RAN). Testirovanie na osnove formal'nyh specifikacii v processah razrabotki programmnyh kompleksov.
Postupilo: 17 fevralya 2003 18:56Poslednee izmenenie: 18 fevralya 2003 20:56
Seminary |
A.K.Petrenko (institut Sistemnogo programmirovaniya RAN). Testirovanie na osnove formal'nyh specifikacii v processah razrabotki programmnyh kompleksov.
Postupilo: 17 fevralya 2003 18:56Kommentarii, voprosy? Pishite: info@astronet.ru ili syuda