Przejdź do treści
Using Event-B for Critical Device Software Systems
Nowość
Najedź, aby powiększyć1 / 1
Using Event-B for Critical Device Software Systems
Nowość

Using Event-B for Critical Device Software Systems

0,0(0)
Stan: Nowy
  • Sprzedaje i wysyła sklep partnerski Legimi
  • Dostawa i zwroty według zasad sklepu partnerskiego
  • Po złożeniu zamówienia w allee dostaniesz link do zakupu w sklepie
  • Produkt nowy
Allee AI — najważniejsze o produkciez parametrów oferty
StanNowy
SprzedawcaLegimi

Parametry

Ogólne

StanNowy
KategoriaInformatyka, internet
EAN (GTIN)9781447152606
SprzedawcaLegimi
Numer oferty12206210

Dostawa i zwroty

Sprzedaje i wysyłaLegimi (sklep partnerski)
Dostawawedług zasad sklepu
Zwroty i reklamacjewedług zasad sklepu

Opis

Using Event-B for Critical Device Software Systems — zdjęcie produktu

Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approac…

Kupujesz w allee

Sklep partnerski

Sprzedaje i wysyła Legimi — sklep partnerski allee.

Zamówienie w allee

Dodaj do koszyka, złóż zamówienie, a dostaniesz link do zakupu w sklepie.

Dostawa i zwroty

Według zasad sklepu partnerskiego Legimi.

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.

Informacje od sklepu

  • ISBN: 9781447152606

Inne oferty tego produktu

Porównaj sprzedawców i sklepy partnerskie

To jedyna oferta tego produktu w alleeGdy inni sprzedawcy wystawią ten sam produkt (ten sam EAN albo marka i model), porównasz ich tutaj.
Sklep partnerski allee

Inne oferty sprzedawcy Legimi

Zobacz sklep
JIRA
89,99zł
JIRA
0,0(0)
w sklepie Legimi

Często kupowane razem

Using Event-B for Critical Device Software Systems448,50zł
+
Newsweek Polska Historia12,50zł
+
Sens12,99zł
Razem za 3 produkty:473,99zł

Opinie kupujących

0,0
Brak opinii

Co mówią kupujący

Allee AI podsumuje opinie, gdy kupujący dodadzą pierwsze recenzje po zakupie.

Brak opinii — bądź pierwszyOpinię wystawisz po otrzymaniu zamówienia. Pokazujemy tylko opinie z potwierdzonych zakupów.

Pytania i odpowiedzi

Najczęstsze pytania o produkt: Using Event-B for Critical Device Software Systems

Ile kosztuje Using Event-B for Critical Device Software Systems?

Na allee.pl Using Event-B for Critical Device Software Systems kosztuje teraz 448,50 zł w sklepie Legimi.

W jakiej kategorii jest Using Event-B for Critical Device Software Systems?

Produkt Using Event-B for Critical Device Software Systems znajdziesz na allee.pl w kategorii Kultura i rozrywka › Książki › Informatyka, internet.

Kto sprzedaje produkt Using Event-B for Critical Device Software Systems?

Produkt Using Event-B for Critical Device Software Systems sprzedaje i wysyła sklep internetowy Legimi — sklep partnerski allee.pl. Zamówienie składasz w allee, a zakup kończysz w sklepie.

Ile kosztuje dostawa produktu Using Event-B for Critical Device Software Systems?

Koszt dostawy produktu Using Event-B for Critical Device Software Systems ustala sklep Legimi — zobaczysz go w sklepie przed zapłatą.

Jak szybko dostanę produkt Using Event-B for Critical Device Software Systems?

Według danych sklepu Legimi produkt jest dostępny od ręki.

Czy produkt Using Event-B for Critical Device Software Systems jest dostępny?

Tak — według sklepu Legimi produkt Using Event-B for Critical Device Software Systems jest dostępny od ręki.

Czy produkt Using Event-B for Critical Device Software Systems jest nowy?

Using Event-B for Critical Device Software Systems na allee.pl to produkt w stanie: nowy.

Czy można zwrócić produkt Using Event-B for Critical Device Software Systems?

Zwroty i reklamacje produktu Using Event-B for Critical Device Software Systems obsługuje sklep Legimi. Kupując przez internet jako konsument, co do zasady masz 14 dni na odstąpienie od umowy bez podawania przyczyny.

Jaki jest kod EAN produktu Using Event-B for Critical Device Software Systems?

Kod EAN (GTIN) produktu Using Event-B for Critical Device Software Systems: 9781447152606.

Nikt jeszcze nie zadał pytaniaZapytaj sprzedawcę — odpowiedź dostaniesz w wiadomościach.

Podobne produkty

Wszystkie w kategorii

Klienci oglądali też

448,50złSprzedaje: Legimi