検索結果 - international attention based computing ((((array string) OR (arrays strings))) OR (arrays ang))

提案スペルによる検索:
international attention » international dimention , international convention , international protection
based computing » based routing , based costing , trusted computing
array string » array strong , array sharing , array forming
arrays ang » arrays a

1

表紙画像

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

出版事項 2013

目次: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
全文の入手

電子媒体 eBook