Kniha Using Event-B for Critical Device Software Systems Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems

Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Springer London Ltd
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
99.98
This book presents an innovative development approach for critical systems and prototype implementat...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2013
Stránok
326
EAN
9781447152590
ISBN
144715259X
Enbook ID
01426259
Vydavateľ
Hmotnosť
6387
Rozmery
155 x 235 x 24

Kompletný popis

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.

Mohlo by vás zaujímať

Adaptive Speciation

Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz
69.34
7.65

Shower of Stars

John J. Pullen
43.21
25.72

Forest Tree Plantation

Thomas Jonathan Burrill
24.84

Scenes for Teens, by Teens

Diane Christiansen
8.34

How America Was Born

Diana McCumiskey
13.25

Koufonisi, Crete

Emory Christer
100.18

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

18.75

L'Herpetologie

Yannick Berthoud
33.09
24.45
24.55