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

Using Event-B for Critical Device Software Systems

Limbă: engleză
Legare: Copertă tare
Disponibilitate: În depozitul extern
Expediem în 10-13 zile
551.23 lei
This book presents an innovative development approach for critical systems and prototype implementat...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2013
Pagini
326
EAN
9781447152590
ISBN
144715259X
Enbook ID
01426259
Greutate
6387
Dimensiuni
155 x 235 x 24

Descriere completă

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.

S-ar putea să te intereseze

Adaptive Speciation

Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz
397.57 lei
45.53 lei

Shower of Stars

John J. Pullen
225.78 lei
143.27 lei

Forest Tree Plantation

Thomas Jonathan Burrill
143.27 lei

Scenes for Teens, by Teens

Diane Christiansen
49.26 lei
448.35 lei

How America Was Born

Diana McCumiskey
76.16 lei

Koufonisi, Crete

Emory Christer
554.55 lei

Clienții care au cumpărat această carte au mai cumpărat și

98.03 lei

L'Herpetologie

Yannick Berthoud
191.93 lei
127.95 lei
128.15 lei