Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

99.76 €

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

Informácie o knihe

Autor

Neeraj Kumar Singh

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

326

EAN

9781447157908

ISBN

1447157907

Enbook ID

09479723

Vydavateľ

Springer London Ltd

Hmotnosť

5212

Rozmery

155 x 18 x 19

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ť

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Using Event-B for Critical Device Software Systems

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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