Using Event-B for Critical Device Software Systems

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

Autor: Neeraj Kumar Singh

Język:

Oprawa: Twarda

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

423.12 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 - Twarda

Data wydania

2013

strony

326

EAN

9781447152590

ISBN

144715259X

Enbook ID

01426259

Wydawca

Springer London Ltd

Waga

6387

Wymiary

155 x 235 x 24

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ż