Anne E. Haxthausen & Wendelin Serwe 
Formal Methods for Industrial Critical Systems [EPUB ebook] 
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

поддержка
Обложка Anne E. Haxthausen & Wendelin Serwe: Formal Methods for Industrial Critical Systems (ePUB)

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

€140.94
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783031681509 ● редактор Anne E. Haxthausen & Wendelin Serwe ● издатель Springer Nature Switzerland ● опубликованный 2024 ● Загружаемые 3 раз ● валюта EUR ● Код товара 9624196 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Anne E. HaxthausenWendelin Serwe

74 462 Электронные книги в этой категории

Обложка 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 …
EPUB
Adobe DRM
€6.35
Обложка Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2
Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2
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 …
EPUB
Adobe DRM
€20.49
Обложка Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …
EPUB
Adobe DRM
€25.47
Обложка 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 …
EPUB
Adobe DRM
€25.38
Обложка John M. Quick: Learn to Implement Games with Code
John M. Quick: Learn to Implement Games with Code
Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportunities exist at many levels. Learn to Implement Games …
EPUB
Adobe DRM
€73.63
Обложка Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks
Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks
This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communi …
EPUB
Adobe DRM
€79.11
Обложка 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 …
EPUB
Adobe DRM
€76.78
Обложка Tarun Agarwal: Apex Legends Ultimate Guide
Tarun Agarwal: Apex Legends Ultimate Guide
EPUB
Adobe DRM
€0.95
Обложка Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Design, deploy, and manage large-scale containers using Kubernetes Key Features
  • Gain insight into the latest features of Kubernetes, including Prometheus and API aggregation
  • Discove …
EPUB
Adobe DRM
€39.89
Обложка Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media
Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media
This volume provides a comprehensive introduction to foundational topics in sound design for interactive media, such as gaming and virtual reality; compositional techniques; new interfaces; sound spa …
EPUB
Adobe DRM
€61.77
Следущая страница >>>