Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
tarafından
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Başlık
:
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Yazar
:
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
ISBN
:
9783319708485
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
X, 305 p. 101 illus. online resource.
Seri
:
Programming and Software Engineering ; 10623
İçindekiler
:
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
Özet
:
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Konu Başlığı
:
Software engineering.
Information theory.
Computer simulation.
Computer industry.
Computer system performance.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
The Computing Profession. http://scigraph.springernature.com/things/product-market-codes/I24075
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
Yazar Ek Girişi
:
Cavalheiro, Simone.
Fiadeiro, José.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 223594-1001 | QA76.758 | Springer E-Book Collection |