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

Dukung
Sampul 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
cara pembayaran
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format EPUB ● ISBN 9783319723082 ● Editor Andrei Paskevich & Thomas Wies ● Penerbit Springer International Publishing ● Diterbitkan 2017 ● Diunduh 3 kali ● Mata uang EUR ● ID 6210940 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

Andrei PaskevichThomas Wies

74,462 Ebooks dalam kategori ini

Sampul 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
Sampul 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
Sampul 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
Sampul Tarun Agarwal: Apex Legends Ultimate Guide
Tarun Agarwal: Apex Legends Ultimate Guide
EPUB
Adobe DRM
€0.95
Sampul 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
Sampul 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
Sampul 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
Sampul 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
Sampul 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
Sampul 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
Halaman selanjutnya >>>