Книга Using Event-B for Critical Device Software Systems Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems

Автор: 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...

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

Автор
Език
Английски език
Корици
Книга - С меки корици
Издадена
2013
страници
326
EAN
9781447157908
ISBN
1447157907
Enbook ID
09479723
Издател
Тегло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.

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

41.99 82.12 лв
137.91 269.73 лв

Leaves

John Simmons
14.04 27.46 лв

Lost Dog

Bill Cameron
13.14 25.70 лв
38.98 76.23 лв
10.53 20.60 лв

From Cold War to Cyber War

Hans-Joachim Heintze
105.30 205.95 лв
105.30 205.95 лв

Debt Inheritance

Pepper Winters
10.03 19.61 лв
20.46 40.03 лв
157.83 308.69 лв

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

Trace 7

Kei Koga
8.42 16.48 лв
23.07 45.13 лв

Rok kobylek

Terry Hayes
23.52 46.01 лв
21.87 42.77 лв
16.35 31.98 лв
24.83 48.56 лв
11.89 23.25 лв

Critica de la crítica

Filiberto Menna
14.80 28.94 лв

Flow

Mihaly Csikszentmihalyi
16.65 32.57 лв
87.64 171.41 лв