Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
-
- 49,99 US$
-
- 49,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2018
19 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
281
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
6,5
Mb