Inne możliwości wyszukiwania:
intersection concurrent » integration concurrent, intersection constraints, interaction current
programs session » problems session
session array » emission array, station array, suspension array
1
Wydane 2010
Spis treści: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
Dokumenty pełnotekstowe
Elektroniczne E-book