Formal Methods for Multicore Programming:
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Mã QR

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and co...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bernardo, Marco, Johnsen, Einar Broch
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Software Engineering Congresses Formal methods Development Computer software
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58515
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

Software Engineering and Formal Methods
Bỡi: Johnsen, Einar Broch, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods for Performance Evaluation
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods Teaching
Bỡi: Dongol, Brijesh, et al.
Được phát hành: (2020)

Formal Methods and Testing
Bỡi: Hierons, Robert M., et al.
Được phát hành: (2020)

FM 2009: Formal Methods
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Lau, Kung-Kiu, et al.
Được phát hành: (2020)

Formal Methods
Bỡi: Havelund, Klaus, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Integrated Formal Methods
Được phát hành: (2020)

Formal Methods and Hybrid Real-Time Systems
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Duan, Zhenhua, et al.
Được phát hành: (2020)

Formal Methods: Applications and Technology
Bỡi: Brim, Lubos, et al.
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Bỡi: Cavalheiro, Simone, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Polikarpova, Nadia, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Furia, Carlo A., et al.
Được phát hành: (2020)

NASA Formal Methods
Bỡi: Barrett, Clark, et al.
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

Formal Methods for Mobile Computing
Được phát hành: (2020)

FM 2005: Formal Methods
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Ahrendt, Wolfgang, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cimatti, Alessandro, et al.
Được phát hành: (2020)

Teaching Formal Methods
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

FM 2008: Formal Methods
Bỡi: Cuellar, Jorge, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

Formal Methods for Web Services
Được phát hành: (2020)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Bỡi: Rout, Terry, et al.
Được phát hành: (2015)

Formal Methods and Stochastic Models for Performance Evaluation
Bỡi: Wolter, Katinka
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Howar, Falk, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)