Sách điện tử > Khoa học > Khoa học máy tính > 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

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783319723082 ● Biên tập viên Andrei Paskevich & Thomas Wies ● Nhà xuất bản Springer International Publishing ● Được phát hành 2017 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6210940 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Andrei Paskevich Thomas Wies

75.745 Ebooks trong thể loại này

Bìa của 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. …

Bìa của 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 …

Bìa của Rick F. van der Lans: Data Virtualization: Selected Writings

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

Bìa của Hema Banati & Parmeet Kaur: Nature-Inspired Algorithms for Big Data Frameworks

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

Bìa của 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 …

Bìa của 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 …

Bìa của Ambika & Donald: Cases on Edge Computing and Analytics

Ambika & Donald: Cases on Edge Computing and Analytics

Bìa của 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 …

Bìa của 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: …

Bìa của 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 …

Trang tiếp theo >>>