Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- UDC 004.415
- УДК 004.415 5
- 4
- 681.3 1
- CERIF 1
- CIDOC CRM 1
- FRBR 1
- FRBRоо 1
- IPCL 1
- SPAR 1
- composition-nominative languages 1
- concurrent program 1
- formal verification 1
- interleaving 1
- safety property proof 1
- software correctness 1
- ЕНИП 1
- доказательство частичной корректности 1
- композиционно-номинативные языки 1
- композиційно-номінативні мови 1
- коректність програмного забезпечення 1
- корректность программного обеспечения 1
- параллельная программа 1
- формальна верифікація 1
- формальная верификация 1
-
1
Development of integrated system of scientific periodicals based on the OJS
Veröffentlicht in PROBLEMS IN PROGRAMMING (2017)Volltext
Artikel -
2
Equivalence of two parallel execution systems
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
3
Formal model of scientific publication
Veröffentlicht in PROBLEMS IN PROGRAMMING (2015)Volltext
Artikel -
4
About construction of digital library models
Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)Volltext
Artikel -
5
The usage of ontologies for semantics analysis of texts on natural language
Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)Volltext
Artikel