Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs—Assertions

Synthesis of the synchronization of general pipeline systems Autor Ugron, Balázs, Hajdara, Szabolcs, Kozma, László

“…The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth…”
Získat plný text