Using Event-B for Critical Device Software Systems

Name: Using Event-B for Critical Device Software Systems
Brand: Springer London Ltd
SKU: 9781447157908
Price: 105.3 EUR
Availability: InStock

Автор: Neeraj Kumar Singh

Език:

Корици: С меки корици

Издател: Springer London Ltd

Наличност: Външен склад

Изпращаме след 8-11 дни

105.30 € 205.95 лв

This book presents an innovative development approach for critical systems and prototype implementat...

Информация за книгата

Автор

Neeraj Kumar Singh

Език

Английски език

Корици

Книга - С меки корици

Издадена

2013

страници

326

EAN

9781447157908

ISBN

1447157907

Enbook ID

09479723

Издател

Springer London Ltd

Теглоt

5212

Размери

155 x 18 x 19

Пълно описание

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Using Event-B for Critical Device Software Systems

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също