Ebook > Naturwissenschaft > Informatik > Anwendungs-Software > Antonio Cerone & Marco Roveri: Software Engineering and Formal Methods (ePUB)

Antonio Cerone & Marco Roveri
Software Engineering and Formal Methods [EPUB ebook]
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Support

Cover von Antonio Cerone & Marco Roveri: Software Engineering and Formal Methods (ePUB)

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: Data Mod 2017 — 6th International Symposium "From Data to Models and Back"; FAACS 2017 — 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 — 1st Workshop on Microservices: Science and Engineering; Co Sim-CPS 2017 — 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 — 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems?.

€82.10

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783319747811 ● Herausgeber Antonio Cerone & Marco Roveri ● Verlag Springer International Publishing ● Erscheinungsjahr 2018 ● herunterladbar 3 mal ● Währung EUR ● ID 6210992 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Antonio Cerone Marco Roveri

16.459 Ebooks in dieser Kategorie

Cover von Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Cover von Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Cover von Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Cover von C. Ravindranath Pandian: Software Metrics

C. Ravindranath Pandian: Software Metrics

<P> The modern field of software metrics emerged from the computer modeling and ’statistical thinking‘ services of the 1980s. As the field evolved, metrics programs were integrated with project …

Cover von Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

Discover T-SQL functionalities and services that help you interact w …

Cover von Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Cover von Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at …

Cover von Dusan Stojanovic: Data Structures and Algorithms with Go

Dusan Stojanovic: Data Structures and Algorithms with Go

Go, designed by Google, is a modern, open-source language known for its simplicity, readability, and efficiency. It excels at building web applications, network tools, and cloud services. Its clear …

Cover von Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …