Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Limbă:

Legare: Carte broșată

Editura: Springer London Ltd

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

551.23 lei

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

Informații despre carte

Autor

Neeraj Kumar Singh

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

326

EAN

9781447157908

ISBN

1447157907

Enbook ID

09479723

Editura

Springer London Ltd

Greutate

5212

Dimensiuni

155 x 18 x 19

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

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Using Event-B for Critical Device Software Systems

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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