Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Jazyk:

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

Autor

Neeraj Kumar Singh

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2013

Stránok

326

EAN

9781447152590

ISBN

144715259X

Enbook ID

01426259

Vydavateľ

Springer London Ltd

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ť

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ž