Wörterbücher
Forum
Kontakte

Google | Forvo | +

concurrent separation logic

Betonungen
Logik. параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk)

Hinzufügen | Fehler melden | Kurzlink auf diese Seite