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
: 
https://doi.org/10.1007/978-3-319-70848-5


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book223594-1001QA76.758Springer E-Book Collection