Ebook > Ciência > Ciência da Computação > Software de Aplicação > Kim Guldstrand Larsen & Oleg Sokolsky: Dependable Software Engineering. Theories, Tools, and Applications (ePUB)

Kim Guldstrand Larsen & Oleg Sokolsky
Dependable Software Engineering. Theories, Tools, and Applications [EPUB ebook]
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Apoio

Capa do Kim Guldstrand Larsen & Oleg Sokolsky: Dependable Software Engineering. Theories, Tools, and Applications (ePUB)

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

€56.99

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783319694832 ● Editor Kim Guldstrand Larsen & Oleg Sokolsky ● Editora Springer International Publishing ● Publicado 2017 ● Carregável 3 vezes ● Moeda EUR ● ID 6210872 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Kim Guldstrand Larsen Oleg Sokolsky Ji Wang

16.453 Ebooks nesta categoria

Capa do Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Capa do Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Capa do Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Capa do Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Capa do Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Capa do Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Capa do Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Capa do Bhavani (The University of Texas at Dallas, Richardson, USA) Thuraisingham: Database and Applications Security

Bhavani (The University of Texas at Dallas, Richardson, USA) Thuraisingham: Database and Applications Security

This is the first book to provide an in-depth coverage of all the developments, issues and challenges in secure databases and applications. It provides directions for data and application security, …

Capa do Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed …

Capa do Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Próxima página >>>