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

id	oai:scholar.dlu.edu.vn:DLU123456789-58515
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-585152023-11-11T06:11:54Z 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 Bernardo, Marco Johnsen, Einar Broch Software Engineering Congresses Formal methods Development Computer software 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 covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. 2015-09-25T02:39:07Z 2015-09-25T02:39:07Z 2015 Book 978-3-319-18941-3 978-3-319-18940-6 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58515 en application/pdf Springer
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Software Engineering Congresses Formal methods Development Computer software
spellingShingle	Software Engineering Congresses Formal methods Development Computer software Bernardo, Marco Johnsen, Einar Broch 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
description	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 covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
format	Book
author	Bernardo, Marco Johnsen, Einar Broch
author_facet	Bernardo, Marco Johnsen, Einar Broch
author_sort	Bernardo, Marco
title	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
title_short	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
title_full	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
title_fullStr	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
title_full_unstemmed	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
title_sort	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
publisher	Springer
publishDate	2015
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58515
_version_	1819803701845426176

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

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