Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
tarafından
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Başlık
:
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Yazar
:
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
ISBN
:
9783030030445
Edisyon
:
1st ed. 2018.
Fiziksel Niteleme
:
X, 271 p. 52 illus. online resource.
Seri
:
Programming and Software Engineering ; 11254
İçindekiler
:
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
Özet
:
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Konu Başlığı
:
Software engineering.
Computer science.
Logic design.
Computer software.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
Yazar Ek Girişi
:
Massoni, Tiago.
Mousavi, Mohammad Reza.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 221606-1001 | QA76.758 | Springer E-Book Collection |