Formal Methods Applied To Industrial Complex Systems

4.3 звезд, основано на 31 отзывах

RUR 14740.46

В наличии

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc

It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software

The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information photos, architecture plans, real examples, etc. .

In various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these formal methods such as proof and model-checking in industrial examples of complex systems

Похожие товары

ComponentOne Doc-To-Help Enterprise

ComponentOne Doc-To-Help приложение для разработки и импорта текстового содержимого с помощью встроенного редактора Doc-To-Help или сторонних приложений Word, HTML , позволяющее генерировать версии готовых документов для их распространения
87831.79 р.

Beginning Flash Game Programming For

You can start game programming in a flash Here's how to create five different cool games no experience necessary! Ever think you could come up with a better
2612.79 р.

ГИС WebMap Net

Программа WebMap NET предназначена для разработки многопользовательских картографических Windows-приложений в архитектуре клиент/сервер с помощью Microsoft Visual Basic, Microsoft Visual Studio .NET, Borland Delphi, Borland C Builder и других средств
142350.00 р.

Data-Variant Kernel Analysis

Describes and discusses the variants of kernel analysis methods for data types that have been intensely studied in recent years This book covers kernel analysis topics ranging from the fundamental
10033.71 р.

TMS Flexcel Studio for .NET

Самая мощная утилита для конвертирования и создания отчетов из файлов Excel и PDF в Visual Studio .NET 2003, 2005 и Delphi 8, 2005.
15838.07 р.

Пакет Database Comparer VCL

Database Comparer сравнивает и синхронизирует структуру баз данных метаданные , а также данные таблиц большинства известных баз данных FireBird, Oracle, MS SQL, MySQL, InterBase, Sybase, Postgre SQL. Используются
21395.00 р.

FastReport FMX 2.6

FastReport FMX кроссплатформенный генератор отч тов с широчайшими возможностями для Apple Mac OS X и Microsoft Windows.Совместим с Embarcadero RAD Studio XE2.
16990.00 р.

Mastering Autodesk 3ds Max 2013

Get professional training in 3ds Max from this Autodesk Official Training Guide Extremely popular with video game designers as well as architects, 3ds Max offers integrated 3D modeling, animation, rendering
3959.11 р.

Computer Architecture and Security. Fundamentals

The first book to introduce computer architecture for security and provide the tools to implement secure computer systems This book provides the fundamentals of computer architecture for security. It covers
9820.22 р.

Harnessing Green IT. Principles and

Ultimately, this is a remarkable book, a practical testimonial, and a comprehensive bibliography rolled into one. It is a single, bright sword cut across the various murky green IT
8949.07 р.

Testing Python. Applying Unit Testing

Fundamental testing methodologies applied to the popular Python language Testing Python Applying Unit Testing, TDD, BDD and Acceptance Testing is the most comprehensive book available on testing for one
2969.16 р.

The Handbook of MPEG Applications.

This book provides a comprehensive examination of the use of MPEG-2, MPEG-4, MPEG-7, MPEG-21, and MPEG-A standards, providing a detailed reference to their application. In this book, the authors address
11008.15 р.

TMS Diagram Studio

Diagram Studio это набор компонентов для создания и редактирования диаграмм. Поддержка Delphi 7, 2007, 2009, 2010, XE, XE2, XE3, XE4, XE5, C Builder 2007, 2009, 2010, XE, XE2
11312.91 р.

Winsoft Communication Protocol Suite 1.3

Компоненты коммуникации Delphi и C Builder. Применяются протоколы 3964 и 3964R.Communication Protocol Suite использует компонент ComPort для серийной коммуникации. Лицензия ComPort является частью Communication Protocol Suite поэтому нет
6797.60 р.

Flash'In'App

Flash'In'App Cocoa фреймворк для разработчиков приложений под Mac, который позволяет встраивать Adobe Flash ролики в приложение и управлять ими прямо из него.
12565.00 р.

MyDAC 8.4

Программное обеспечение MyDAC набор компонентов для обеспечения прямого доступа к серверу баз данных MySQL из среды Delphi, Delphi for .NET, C Builder, Kylix и Free Pascal. MyDAC непосредственно
13591.80 р.