Cover Image

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL

Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного
 виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере
 ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано ві...

Full description

Saved in:
Bibliographic Details
Date:2008
Main Author: Панченко, Т.В.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2008
Subjects:
Теоретичні та методологічні основи програмування
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/329
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items