1 documents found
Information × Registration Number 0215U001862, 0111U007052 , R & D reports Title The formal specification and methods for developing of reliable software systems. popup.stage_title Head Nikitchenko Mykola Stepanovych, Доктор фізико-математичних наук Registration Date 10-06-2015 Organization Taras Shevchenko Kiev university popup.description2 On the basis of meaningful analysis of modern approaches to setting common semantics as sheets of various subject areas given formal semantics representative fragment formal specification languages software systems Z- and B-methods. Product Description popup.authors Бондар Алла Василівна Буй Дмитро Борисович Компан Сергій Володимирович Нікітченко Микола Степанович Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна popup.nrat_date 2020-04-02 Close
R & D report
The formal specification and methods for developing of reliable software systems.
Head: Nikitchenko Mykola Stepanovych. The formal specification and methods for developing of reliable software systems.. (popup.stage: ). Taras Shevchenko Kiev university. № 0215U001862
1 documents found

Updated: 2026-03-26


Роздрукувати цю сторінку