Using Event-B for Critical Device Software Systems / Najlacnejšie knihy
Using Event-B for Critical Device Software Systems

Kód: 09479723

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

121.67


Skladom u dodávateľa
Odosielame za 5 - 7 dní
Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Darujte túto knihu ešte dnes
  1. Objednajte knihu a vyberte Zaslať ako darček.
  2. Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Using Event-B for Critical Device Software Systems

Nákupom získate 301 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Medicine Nursing & ancillary services Biomedical engineering

121.67

Obľúbené z iného súdka



Osobný odber Bratislava a 2642 dalších

Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies


Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

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

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: