Treffer
1 - 2
von
2
für Suche '
Zhygallo, A.A.
'
Weiter zum Inhalt
VuFind
Ihr Konto
Log out
Login
Sprache
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Alle Felder
Titel
Zeitschriftentitel
Verfasser
Schlagwort
Beschreibung
Tag
Full text
Suchen
Erweitert
Verfasser
Zhygallo, A.A.
Treffer
1 - 2
von
2
für Suche '
Zhygallo, A.A.
'
, Suchdauer: 0,01s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Bitte wählen Sie die Treffernummer 1
1
Peterson’s algorithm Total correctness proof in IPCL
von
Zhygallo, A.A.
Veröffentlicht 2018
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Bitte wählen Sie die Treffernummer 2
2
Peterson’s Algorithm total correctness proof in IPCL
von
Zhygallo, A.A.
Veröffentlicht in
Проблеми програмування
(2016)
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Suchwerkzeuge:
RSS-Feed abonnieren
–
Diese Suche als E-Mail versenden
Ähnliche Schlagworte
IPCL
Peterson’s algorithm
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
liveness property
mutual exclusion
software total correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415.52
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация