电子书 > 科学 > 计算机科学 > 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 EPUB ● ISBN 9783319723082 ● 编辑 Andrei Paskevich & Thomas Wies ● 出版者 Springer International Publishing ● 发布时间 2017 ● 下载 3 时 ● 货币 EUR ● ID 6210940 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Andrei Paskevich Thomas Wies

75,745 此类电子书

的封面 Teresa Norris: What Quickbooks Doesn''t Teach You About Bookkeeping

Teresa Norris: What Quickbooks Doesn”t Teach You About Bookkeeping

Basic Bookkeeping help with Quick Books. How to enter certain transactions for vendors and customers. How to fix chart of account issues. How to properly post money from the owner. …

的封面 Michelangelo (Gamereactor, Ciudad Real, Spain) Manrique: Blender for Animation and Film-Based Production

Michelangelo (Gamereactor, Ciudad Real, Spain) Manrique: Blender for Animation and Film-Based Production

See Why Blender Is Right for Your Studio”s Pipeline Blender for Animation and Film-Based Production explores why Blender is ideal for animation films. It demonstrates Blender”s capability to do the …

的封面 Rick F. van der Lans: Data Virtualization: Selected Writings

Rick F. van der Lans: Data Virtualization: Selected Writings

的封面 Hema Banati & Parmeet Kaur: Nature-Inspired Algorithms for Big Data Frameworks

Hema Banati & Parmeet Kaur: Nature-Inspired Algorithms for Big Data Frameworks

的封面 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 …

的封面 Sikha Saha (University of West Florida, Pensacola, Florida, USA) Bagui & Richard Walsh Earp: Database Design Using Entity-Relationship Diagrams

Sikha Saha (University of West Florida, Pensacola, Florida, USA) Bagui & Richard Walsh Earp: Database Design Using Entity-Relationship Diagrams

Essential to database design, entity-relationship (ER) diagrams are known for their usefulness in data modeling and mapping out clear database designs. They are also well-known for being difficult to …

的封面 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

的封面 Hakikur Rahman: Human-Computer Interaction and Technology Integration in Modern Society

Hakikur Rahman: Human-Computer Interaction and Technology Integration in Modern Society

Technology has opened a wide window of novel communication methods and techniques and has become ubiquitous in modern society. With advancements occurring rapidly and transforming practices and effic …

的封面 Team Orange: Touchpad Modular Ver. 1.1 Class 7

Team Orange: Touchpad Modular Ver. 1.1 Class 7

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: …