Using Event-B for Critical Device Software Systems / Nejlevnější knihy
Using Event-B for Critical Device Software Systems

Kód: 01426259

Using Event-B for Critical Device Software Systems

Autor Neeraj Kumar Singh

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. ... celý popis

3313 Kč


Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Přidat mezi přání

Mohlo by se vám také líbit

Dárkový poukaz: Radost zaručena

Objednat dárkový poukazVíce informací

Více informací o knize Using Event-B for Critical Device Software Systems

Nákupem získáte 331 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Medicine Nursing & ancillary services Biomedical engineering

3313 Kč

O tomto obchodě



Nákupní rádce
Přehledy
Knihy podle jazyka
Platba
Doručení 54 Kč

Osobní odběr Praha, Brno a 12903 dalších

Česko
България Hrvatska România Magyarország Polska Slovensko

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies

Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: