Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
-
- 49٫99 US$
-
- 49٫99 US$
وصف الناشر
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٨
١٩ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٨١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٦٫٥
م.ب.