Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- 54,99 US$
-
- 54,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2017
17 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
315
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
6,1
Mb