1 电子书 Eric Y.T. Juan
Eric Y.T. Juan & Jeffrey J.P. Tsai: Compositional Verification of Concurrent and Real-Time Systems
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant huma …
PDF
英语
DRM
€115.75
