Catalog > Science > Informatique > Logiciel d'application > 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

Couverture du 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?.

€83.27

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783319747811 ● Éditeur Antonio Cerone & Marco Roveri ● Maison d’édition Springer International Publishing ● Publié 2018 ● Téléchargeable 3 fois ● Devise EUR ● ID 6210992 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Antonio Cerone Marco Roveri

16 668 Ebooks dans cette catégorie

Couverture du Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

Couverture du Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Couverture du Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Couverture du J.F. (Wesley Chapel, Florida, USA) DiMarzio: The Debugger''s Handbook

J.F. (Wesley Chapel, Florida, USA) DiMarzio: The Debugger »s Handbook

For today »s programmers, it is impossible to foresee every input, every usage scenario, and every combination of applications that can cause errors when run simultaneously. Given all of these unknow …

Couverture du Hans-Jurgen Schonig: Mastering PostgreSQL 12

Hans-Jurgen Schonig: Mastering PostgreSQL 12

Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features

Grasp advanced Postgre SQ …

Couverture du Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

Couverture du 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 …

Couverture du Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

Couverture du Mike McGrath: R for Data Analysis in easy steps, 2nd edition

Mike McGrath: R for Data Analysis in easy steps, 2nd edition

R for Data Analysis in easy steps, 2nd edition has an easy-to-follow style that will appeal to anyone who wants to produce graphic visualizations to gain insights from gathered data. The book begins …

Couverture du Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …

Page suivante >>>