Yazar
Hinchey, Mike. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Vinh, Phan Cong. editor.
Format:
Electronic Resources
Alıntı:
-- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer
View Other Search Results
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the
Arama Sonuçlarını Sınırlandır
Daraltılmış: