Ebook > Scienza > Informatica > Hardware > Zhenhua Duan & Luke Ong: Formal Methods and Software Engineering (ePUB)

Zhenhua Duan & Luke Ong
Formal Methods and Software Engineering [EPUB ebook]
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

Supporto

Copertina di Zhenhua Duan & Luke Ong: Formal Methods and Software Engineering (ePUB)

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi’an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

€56.99

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783319686905 ● Editore Zhenhua Duan & Luke Ong ● Casa editrice Springer International Publishing ● Pubblicato 2017 ● Scaricabile 3 volte ● Moneta EUR ● ID 6210844 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Zhenhua Duan Luke Ong

3.626 Ebook in questa categoria

Copertina di Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Copertina di Edgardo Peregrino: Cloud-Powered Robotics with Raspberry Pi

Edgardo Peregrino: Cloud-Powered Robotics with Raspberry Pi

Embrace the transformative power of cloud robotics with Cloud-Powered Robotics with Raspberry Pi, your ultimate guide to building and deploying intelligent robotic applications using cutting-edge Dev …

Copertina di Pankaj Sabharwal: Multi-Cloud Automation with Ansible

Pankaj Sabharwal: Multi-Cloud Automation with Ansible

Across the modern IT landscape, managing infrastructure across diverse cloud platforms has become a formidable task. Ansible, a robust open-source automation tool, emerges as the ultimate weapon in …

Copertina di Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

This book addresses the security challenges facing the rapidly growing Internet of Things (Io T) industry, including the potential threats and risks arising from its complex architecture. The authors …

Copertina di Agus Kurniawan: Internet of Things Projects with ESP32

Agus Kurniawan: Internet of Things Projects with ESP32

Create and program Internet of Things projects using the Espressif ESP32. Key Features

Getting to know the all new powerful EPS32 boards and build interesting Internet of Things projects …

Copertina di Juned Ahsan & Michael Harrison: MongoDB Fundamentals

Juned Ahsan & Michael Harrison: MongoDB Fundamentals

Learn how to deploy and monitor databases in the cloud, manipulate documents, visualize data, and build applications running on Mongo DB using Node.js Key Features

Learn the fundamentals …

Copertina di Jeffrey S. (Oak Ridge National Laboratory, Tennessee, USA) Vetter: Contemporary High Performance Computing

Jeffrey S. (Oak Ridge National Laboratory, Tennessee, USA) Vetter: Contemporary High Performance Computing

HPC is used to solve a number of complex questions in computational and data-intensive sciences. These questions include the simulation and modeling of physical phenomena, such as climate change, ene …

Copertina di Kornel Terplan: Intranet Performance Management

Kornel Terplan: Intranet Performance Management

To avoid serious bottlenecks, components of the Internet and of intranets-such as servers, browsers, and the access networks-must be properly designed, implemented, managed, and monitored. Beginning …

Copertina di Andrew Adamatzky & Selim (Queens University) Akl: From Parallel to Emergent Computing

Andrew Adamatzky & Selim (Queens University) Akl: From Parallel to Emergent Computing

Modern computing relies on future and emergent technologies which have been conceived via interaction between computer science, engineering, chemistry, physics and biology. This highly interdisciplin …

Copertina di Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and service …

Pagina successiva >>>