Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
tarafından
 
Blieberger, Johann. editor.

Başlık
Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar
Blieberger, Johann. editor.

ISBN
9783319605883

Edisyon
1st ed. 2017.

Fiziksel Niteleme
XIV, 251 p. 61 illus. online resource.

Seri
Programming and Software Engineering ; 10300

İçindekiler
Runtimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality.

Özet
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Konu Başlığı
Computer science.
 
Software engineering.
 
Logic design.
 
Operating systems (Computers).
 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product-market-codes/I13030
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
 
Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14045

Yazar Ek Girişi
Blieberger, Johann.
 
Bader, Markus.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-60588-3


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