Catalog > Ciência > Ciência da Computação > Zhe Hou & Shang-Wei Lin: Formal Methods and Software Engineering (ePUB)

Zhe Hou & Shang-Wei Lin
Formal Methods and Software Engineering [EPUB ebook]
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Apoio

Capa do Zhe Hou & Shang-Wei Lin: Formal Methods and Software Engineering (ePUB)

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

€57.77

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783030634063 ● Editor Zhe Hou & Shang-Wei Lin ● Editora Springer International Publishing ● Publicado 2020 ● Carregável 3 vezes ● Moeda EUR ● ID 8033055 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Zhe Hou Shang-Wei Lin Brendan Mahony

74.462 Ebooks nesta categoria

Capa do 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 …

Capa do Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities

Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities

Capa do Nidhi Arora: Trackpad Ver. 1.0 Class 3

Nidhi Arora: Trackpad Ver. 1.0 Class 3

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Capa do Nidhi Arora: Trackpad Ver. 1.0 Class 5

Nidhi Arora: Trackpad Ver. 1.0 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Capa do Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …

Capa do Robert Rybaric: Microsoft Power Platform Up and Running

Robert Rybaric: Microsoft Power Platform Up and Running

The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …

Capa do Michael Macaulay: Introduction to Web Interaction Design

Michael Macaulay: Introduction to Web Interaction Design

This book introduces standard and new HTML5 elements and attributes and CSS3 properties commonly used in Web design as well as design guidelines for their effective use. Its approach of explaining ev …

Capa do 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 …

Capa do Pedro Isaias & Tomayess Issa: Artificial Intelligence Technologies and the Evolution of Web 3.0

Pedro Isaias & Tomayess Issa: Artificial Intelligence Technologies and the Evolution of Web 3.0

Capa do Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 7

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …

Próxima página >>>