Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

2 286 Kč

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

Informace o knize

Autor

Neeraj Kumar Singh

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2013

Stránek

326

EAN

9781447157908

ISBN

1447157907

Enbook ID

09479723

Vydavatel

Springer London Ltd

Hmotnost

5212

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Using Event-B for Critical Device Software Systems

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také