Verification of programs: status, problems and experimental results. I
Prombles in programming 2013; 4: 53-63
Gespeichert in:
| Datum: | 2025 |
|---|---|
| 1. Verfasser: | Maksymets, A.N. |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/741 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
-
Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025) -
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015) -
Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025) -
On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015) -
Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)