Електронна книга > Наука > Информатика > Языки программирования > Manuel Núñez & Matthias Güdemann: Formal Methods for Industrial Critical Systems (PDF)

Manuel Núñez & Matthias Güdemann
Formal Methods for Industrial Critical Systems [PDF ebook]
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

поддержка

Обложка Manuel Núñez & Matthias Güdemann: Formal Methods for Industrial Critical Systems (PDF)

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

€51.16

Содержание

Applications.- Protocols.- Specification and analysis.- Verification.

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

язык английский ● Формат PDF ● страницы 213 ● ISBN 9783319194585 ● редактор Manuel Núñez & Matthias Güdemann ● издатель Springer International Publishing ● город Cham ● Страна CH ● опубликованный 2015 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 4456083 ● Защита от копирования Социальный DRM

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

Manuel Nunez Matthias Güdemann

2 758 Электронные книги в этой категории

Обложка Francesc Josep Ferri Rabasa: Teoria d'autòmats i llenguatges formals

Francesc Josep Ferri Rabasa: Teoria d’autòmats i llenguatges formals

‘Teoria d’autòmats i llenguatges formals’ es un libro de introducción a los diversos aspectos que constituyen la base de los modelos de computación y de los lenguajes de programación. Se introducen …

Обложка Jack Purdum: Beginning Object-Oriented Programming with C#

Jack Purdum: Beginning Object-Oriented Programming with C#

The ideal beginner’s guide to C# and object-oriented programming Wrox beginners’ guides have the perfect formula for getting programming newcomers up and running. This one introduces …

английский

Обложка Mark Gardener: The Essential R Reference

Mark Gardener: The Essential R Reference

An essential library of basic commands you can copy and paste into R The powerful and open-source statistical programming language R is rapidly growing in popularity, but it requires that you …

английский

Обложка Badr Benmammar: Concurrent, Real-Time and Distributed Programming in Java

Badr Benmammar: Concurrent, Real-Time and Distributed Programming in Java

This book provides an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description tool. It describes in particular the …

английский

Обложка Kimberly A. Weiss & Haythem Balti: Job Ready Python

Kimberly A. Weiss & Haythem Balti: Job Ready Python

Get ready to take on Python with a practical and job-focused guide Job Ready Python offers readers a straightforward and elegant approach to learning Python that emphasizes hands-on and employable …

английский

Обложка Reto Meier: Professional Android 4 Application Development

Reto Meier: Professional Android 4 Application Development

Developers, build mobile Android apps using Android 4 The fast-growing popularity of Android smartphones and tabletscreates a huge opportunities for developers. If you’re anexperienced developer, …

английский

Обложка Christian Nagel & Jay Glynn: Professional C# 5.0 and .NET 4.5.1

Christian Nagel & Jay Glynn: Professional C# 5.0 and .NET 4.5.1

Comprehensive, advanced coverage of C# 5.0 and .NET 4.5.1 Whether you’re a C# guru or transitioning from C/C++, staying up to date is critical to your success. Professional C# 5.0 and .NET 4.5.1 …

английский

Обложка Frédéric Gardi & Thierry Benoist: Mathematical Programming Solver Based on Local Search

Frédéric Gardi & Thierry Benoist: Mathematical Programming Solver Based on Local Search

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the …

английский

Обложка Michael Kay: XSLT 2.0 and XPath 2.0 Programmer's Reference

Michael Kay: XSLT 2.0 and XPath 2.0 Programmer’s Reference

Combining coverage of both XSLT 2.0 and XPath 2.0, this book is the definitive reference to the final recommendation status versions of both specifications. The authors start by covering the concepts …

английский

Обложка Jeffrey Rubin & Dana Chisnell: Handbook of Usability Testing

Jeffrey Rubin & Dana Chisnell: Handbook of Usability Testing

Whether it’s software, a cell phone, or a refrigerator, your customer wants — no, expects — your product to be easy to use. This fully revised handbook provides clear, step-by-step guidelines to help …

английский

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