Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems

Name: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
ISBN: 9783319189406

Marco Bernardo , Einar Broch Johnsen

还没有评分