Електронна книга > Наука > Информатика > Прикладное программное обеспечение > Francesco Flammini & Frederic Lang: Formal Methods for Industrial Critical Systems (PDF)

Francesco Flammini & Frederic Lang
Formal Methods for Industrial Critical Systems [PDF ebook]
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

поддержка

Обложка Francesco Flammini & Frederic Lang: Formal Methods for Industrial Critical Systems (PDF)

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

€51.21

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

язык английский ● Формат PDF ● ISBN 9783319107028 ● редактор Francesco Flammini & Frederic Lang ● издатель Springer International Publishing ● опубликованный 2014 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6302963 ● Защита от копирования Adobe DRM

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

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

Francesco Flammini Frederic Lang

16 637 Электронные книги в этой категории

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка Shikha Jain & Kavita Pandey: Code Factory

Shikha Jain & Kavita Pandey: Code Factory

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

Обложка Adam Aspin: Querying Databricks with Spark SQL

Adam Aspin: Querying Databricks with Spark SQL

Databricks stands out as a widely embraced platform dedicated to the creation of data lakes. Within its framework, it extends support to a specialized version of Structured Query Language (SQL) known …

Обложка Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

Обложка 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 …

Обложка Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …

Обложка Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Обложка Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

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