Ковальов, С. О.2020-10-202020-10-202002-03-262002-03-26Ковальов С. О. Формальні моделі в об’єктно-орієнтованій парадигмі / С. О. Ковальов // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2002. — № 464 : Інформаційні системи та мережі. — С. 147–158.https://ena.lpnu.ua/handle/ntb/54814Наведено спробу формалізації семантики об'єктно-орієнтовної парадигми засобами перетворювачів предикатів, багатовимірного простору, простору станів обчислювань.Attempt to formalize semantics of object-oriented paradigm is given. There are used predicate transformers, multidimensional spaces, spaces of states.147-158ukФормальні моделі в об’єктно-орієнтованій парадигміArticle© Національний університет “Львівська політехніка”, 2002© Ковальов С. О., 200212681.3.06519.7Kovalov S. O. Formalni modeli v obiektno-oriientovanii paradyhmi / S. O. Kovalov // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2002. — No 464 : Informatsiini systemy ta merezhi. — P. 147–158.