Електронна книга > Наука > Інформатика > Andrei Paskevich & Thomas Wies: Verified Software. Theories, Tools, and Experiments (ePUB)

Andrei Paskevich & Thomas Wies
Verified Software. Theories, Tools, and Experiments [EPUB ebook]
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Підтримка

Обкладинка Andrei Paskevich & Thomas Wies: Verified Software. Theories, Tools, and Experiments (ePUB)

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

€57.91

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783319723082 ● Редактор Andrei Paskevich & Thomas Wies ● Видавець Springer International Publishing ● Опубліковано 2017 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6210940 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Andrei Paskevich Thomas Wies

75 745 Електронні книги в цій категорі

Обкладинка Chong (Trulia Inc., San Francisco, California, USA) Ee: Configuring Internal Controls for Software as a Service

Chong (Trulia Inc., San Francisco, California, USA) Ee: Configuring Internal Controls for Software as a Service

This book taps into an inherent paradox: with the ease of reliance on external, cloud providers to provide robust functionality and regular enhancements comes, as their very own audited service organ …

Обкладинка Cesar Anton Dorantes: Hands-On G Suite for Administrators

Cesar Anton Dorantes: Hands-On G Suite for Administrators

Effectively implement and administer business solutions on any scale in a cost-effective way to have a competitive advantage using Gsuite Key Features

Enhance administration with Admin conso …

Обкладинка Zheng Yan: Encyclopedia of Mobile Phone Behavior

Zheng Yan: Encyclopedia of Mobile Phone Behavior

Обкладинка Christina Banou & Ioannis Deliyannis: Experimental Multimedia Systems for Interactivity and Strategic Innovation

Christina Banou & Ioannis Deliyannis: Experimental Multimedia Systems for Interactivity and Strategic Innovation

Обкладинка Sara Paiva & Antonio Miguel Rosado da Cruz: Modern Software Engineering Methodologies for Mobile and Cloud Environments

Sara Paiva & Antonio Miguel Rosado da Cruz: Modern Software Engineering Methodologies for Mobile and Cloud Environments

Обкладинка Francisco Cipolla-Ficarra: Optimizing Human-Computer Interaction With Emerging Technologies

Francisco Cipolla-Ficarra: Optimizing Human-Computer Interaction With Emerging Technologies

Обкладинка S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

As the progression of the internet continues, society is finding easier, quicker ways of simplifying their needs with the use of technology. With the growth of lightweight devices, such as smart phon …

Обкладинка Pedro Fernandes Anunciacao & George Leal Jamil: Handbook of Research on Digital Transformation and Challenges to Data Security and Privacy

Pedro Fernandes Anunciacao & George Leal Jamil: Handbook of Research on Digital Transformation and Challenges to Data Security and Privacy

Heavily dominated by the sector of information and communication technologies, economic organizations pursue digital transformation as a differentiating factor and source of competitive advantage. Un …

Обкладинка Ambika & Donald: Cases on Edge Computing and Analytics

Ambika & Donald: Cases on Edge Computing and Analytics

Обкладинка Team Orange: Touchpad iPrime Ver. 2.1 Class 1

Team Orange: Touchpad iPrime Ver. 2.1 Class 1

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy, 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia …

Наступна сторінка >>>