Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
View Other Search Results
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Projection Temporal Logic to Reason About Non-blocking Concurrency -- Semantics and Analysis Formal Semantics
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: