Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Język:

Oprawa: Miękka

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

424.83 zł

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

Informacje o książce

Autor

Neeraj Kumar Singh

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

326

EAN

9781447157908

ISBN

1447157907

Enbook ID

09479723

Wydawca

Springer London Ltd

Waga

5212

Wymiary

155 x 18 x 19

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Using Event-B for Critical Device Software Systems

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również