检索结果 - information push concurrent programming ((((arrays using) OR (array format))) OR (array profiling))

搜索替代词:
concurrent programming » constraint programming , concurrent programs
information push » information plus , information part , information pt
push concurrent » use concurrent , csp concurrent , pge concurrent
array profiling » array processing , microarray profiling

1

封面图片

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2015

书本目录: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
获取全文

电子电子书