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

Stöd
Omslag till 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
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera EPUB ● ISBN 9783319723082 ● Redaktör Andrei Paskevich & Thomas Wies ● Utgivare Springer International Publishing ● Publicerad 2017 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6210940 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Andrei PaskevichThomas Wies

74 462 E-böcker i denna kategori

Omslag till 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 …
EPUB
Adobe DRM
€6.35
Omslag till Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …
EPUB
Adobe DRM
€25.47
Omslag till 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 …
EPUB
Adobe DRM
€79.11
Omslag till Tarun Agarwal: Apex Legends Ultimate Guide
Tarun Agarwal: Apex Legends Ultimate Guide
EPUB
Adobe DRM
€0.95
Omslag till Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Design, deploy, and manage large-scale containers using Kubernetes Key Features
  • Gain insight into the latest features of Kubernetes, including Prometheus and API aggregation
  • Discove …
EPUB
Adobe DRM
€39.89
Omslag till 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 …
EPUB
Adobe DRM
€61.77
Omslag till Sasmita Mohanty & Sudhir K. Routray: Principles and Applications of Narrowband Internet of Things (NBIoT)
Sasmita Mohanty & Sudhir K. Routray: Principles and Applications of Narrowband Internet of Things (NBIoT)
The internet of things (Io T) has emerged as a trending technology that is continually being implemented into various practices within the field of engineering and science due to its versatility and …
EPUB
Adobe DRM
€275.25
Omslag till 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 …
EPUB
Adobe DRM
€57.78
Omslag till Alaa Hussein Al-Hamami & Ghossoon M. Waleed al-Saadoon: Handbook of Research on Threat Detection and Countermeasures in Network Security
Alaa Hussein Al-Hamami & Ghossoon M. Waleed al-Saadoon: Handbook of Research on Threat Detection and Countermeasures in Network Security
EPUB
Adobe DRM
€417.62
Omslag till Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security
Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security
Because it makes the distribution and transmission of digital information much easier and more cost effective, multimedia has emerged as a top resource in the modern era. In spite of the opportunitie …
EPUB
Adobe DRM
€379.66
Nästa sida >>>