Електронна книга > Наука > Информатика > Ralf Pinger & Marielle Stoelinga: Formal Methods for Industrial Critical Systems (PDF)

Ralf Pinger & Marielle Stoelinga
Formal Methods for Industrial Critical Systems [PDF ebook]
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

поддержка

Обложка Ralf Pinger & Marielle Stoelinga: Formal Methods for Industrial Critical Systems (PDF)

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

€51.42

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9783642324697 ● редактор Ralf Pinger & Marielle Stoelinga ● издатель Springer Berlin Heidelberg ● опубликованный 2012 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6323068 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

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

Ralf Pinger Marielle Stoelinga

75 745 Электронные книги в этой категории

Обложка Geeta Zunjani: Artificial Intelligence Class 4

Geeta Zunjani: Artificial Intelligence Class 4

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Обложка Jose P. Zagal: Game Design Snacks: Easily Digestible Game Design Wisdom

Jose P. Zagal: Game Design Snacks: Easily Digestible Game Design Wisdom

Обложка Anne (Lawrence Technological University, USA) Kohnke & Daniel Shoemaker: The Cybersecurity Body of Knowledge

Anne (Lawrence Technological University, USA) Kohnke & Daniel Shoemaker: The Cybersecurity Body of Knowledge

The Cybersecurity Body of Knowledge explains the content, purpose, and use of eight knowledge areas that define the boundaries of the discipline of cybersecurity. The discussion focuses on, and is dr …

Обложка Vladlena Benson & Stephanie Morgan: Implications of Social Media Use in Personal and Professional Settings

Vladlena Benson & Stephanie Morgan: Implications of Social Media Use in Personal and Professional Settings

Обложка Information Resources Management Association: Artificial Intelligence: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Artificial Intelligence: Concepts, Methodologies, Tools, and Applications

Обложка Bittu Kumar: Mastering Ms Office

Bittu Kumar: Mastering Ms Office

Обложка Nidhi Arora: Trackpad Ver. 2.0 Class 6

Nidhi Arora: Trackpad Ver. 2.0 Class 6

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 …

Обложка JaagoTeens: Cyber Safety for Everyone - 3rd Edition

JaagoTeens: Cyber Safety for Everyone — 3rd Edition

This book is a step-by-step guide that handholds you through all the essential aspects of internet safety. The content is presented in a simple and easy-to-understand manner. True incidents, practica …

Обложка Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide

Cloud security is a rapidly evolving field, demanding professionals with specialized knowledge and expertise. This book equips you with the foundational understanding and practical skills necessary t …

Обложка Herong Yang: PHP Tutorials - Herong''s Tutorial Examples

Herong Yang: PHP Tutorials — Herong»s Tutorial Examples

This PHP tutorial book is a collection of notes and sample codes written by the author while he was learning PHP himself. It can be used as a tutorial guide for beginners or a reference book for expe …

Следущая страница >>>