Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- 54,99 $
-
- 54,99 $
От издателя
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2017
17 ноября
ЯЗЫК
EN
английский
ОБЪЕМ
315
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
6,1
МБ