About Algebraic Program Models with Procedures
<p>Algebraic program models with procedures are designed to analyze program semantic properties on their models called program schemes. The concepts that give foundation to the theory of such models are stated along with a description of their implementation. The key point of the theory is the...
| Główni autorzy: | , |
|---|---|
| Format: | Artykuł |
| Język: | English |
| Wydane: |
Yaroslavl State University
2012-01-01
|
| Seria: | Моделирование и анализ информационных систем |
| Hasła przedmiotowe: | |
| Dostęp online: | http://mais-journal.ru/jour/article/view/60 |