Catalog > Sciences > Computer Science > Martin Franzle & Deepak Kapur: Dependable Software Engineering: Theories, Tools, and Applications (PDF)

Martin Franzle & Deepak Kapur
Dependable Software Engineering: Theories, Tools, and Applications [PDF ebook]
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Support

Cover of Martin Franzle & Deepak Kapur: Dependable Software Engineering: Theories, Tools, and Applications (PDF)

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

€57.90

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783319476773 ● Editor Martin Franzle & Deepak Kapur ● Publisher Springer International Publishing ● Published 2016 ● Downloadable 3 times ● Currency EUR ● ID 6210372 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Martin Franzle Deepak Kapur Naijun Zhan

72,775 Ebooks in this category

Cover of Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Android Phones for Seniors in easy steps, 3rd edition unravels the world of Android smartphones. It provides an overview of the popular models, and then shows how to:Customize your phone to suit your …

Cover of Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Unlock the full potential of your i Phone with i Phone for Seniors in easy steps, 11th edition. This guide shows how to:Navigate your i Phone with confidence.Stay connected with family and friends th …

Cover of Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communi …

Cover of El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Cover of Pearl Zhu: 100 IT Charms: Running Versatile IT to get Digital Ready

Pearl Zhu: 100 IT Charms: Running Versatile IT to get Digital Ready

Cover of Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media

Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media

This volume provides a comprehensive introduction to foundational topics in sound design for interactive media, such as gaming and virtual reality; compositional techniques; new interfaces; sound spa …

Cover of Pethuru Raj & Anupama C. Raman: The Internet of Things

Pethuru Raj & Anupama C. Raman: The Internet of Things

As more and more devices become interconnected through the Internet of Things (Io T), there is an even greater need for this book, which explains the technology, the internetworking, and applications …

Cover of Sergey Balandin & Alexey Kashevnik: Novel Design and the Applications of Smart-M3 Platform in the Internet of Things: Emerging Research and Opportunities

Sergey Balandin & Alexey Kashevnik: Novel Design and the Applications of Smart-M3 Platform in the Internet of Things: Emerging Research and Opportunities

Cover of Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover of Team Orange: Artificial Intelligence Class 2

Team Orange: Artificial Intelligence Class 2

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …