Code: 09479723
Using Event-B for Critical Device Software Systems
by 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. ... more
- Language:
English - Binding: Paperback
- Number of pages: 326
Publisher: Springer London Ltd, 2013
- More about this
102.86 €
RRP: 111.48 €
You save 8.62 €
In stock at our supplier
Shipping in 8 - 11 days
You might also like
-
Flow
12.12 € -28 % -
Rok kobylek
22.02 € -23 % -
Fiat Bravo e Brava. 1995-2002
22.63 € -
Peppa Pig: Happy Easter
4.94 € -30 % -
Trace 7
6.26 € -33 % -
Debt Inheritance
9.79 € -6 % -
Where's Dachshund Dax?
18.08 € -15 % -
Critica de la crítica
14.54 € -
Science Teacher Educators as K-12 Teachers
102.86 € -7 % -
Getting Started with Hazelcast -
38.19 € -2 % -
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor
20.91 € -
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease
62.24 € -11 % -
Loose Cannons
16.16 € -
From Cold War to Cyber War
102.86 € -7 % -
Delta II and III Space Operations at Cape Canaveral 1989-2009
20.10 € -
China and the Future of Globalization
39.70 € -
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires
30.71 € -
Ornithologische Briefe - Bler der Erinnerung an seine Freunde
24.14 € -11 % -
![Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].](https://media.libris.to/jacket/29226590t.jpg "Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].")
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].
16.06 € -24 % -
Calling The Devil
11.71 € -
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden
53.04 € -7 % -
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI
21.51 € -
Lost Dog
12.72 € -24 % -
Advanced Principles of Molecular Virology
134.39 € -12 % -
Comets and the Origin of Life
154.20 € -7 % -
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848
17.47 € -2 % -
Mandy's Doodles Coloring Book
10.30 € -2 % -
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat
17.07 € -10 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Using Event-B for Critical Device Software Systems
You get 249 loyalty points
Book synopsis
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.
Book details
Book category Books in English Medicine Nursing & ancillary services Biomedical engineering
102.86 €
- Full title: Using Event-B for Critical Device Software Systems
- Author: Neeraj Kumar Singh
- Language: English
- Binding: Paperback
- Number of pages: 326
- EAN: 9781447157908
- ISBN: 1447157907
- ID: 09479723
- Publisher: Springer London Ltd
- Weight: 5212 g
- Dimensions: 18 × 155 × 19 mm
- Date of publishing: 17. August 2013
Trending among others
-
Ultimate BMAT Guide - 600 Practice Questions
31.11 € -7 % -
Introduction To Bioengineering
81.03 € -4 % -
The Death of Death
23.74 € -24 % -
Biomedical Engineering
89.83 € -
Corneal Biomechanics and Refractive Surgery
50.52 € -9 % -
Clinical Kinesiology and Biomechanics
110.64 € -9 % -
Medical Devices
120.75 € -9 % -
Rehabilitation Robotics
110.64 € -9 % -
Medical Device Guidelines and Regulations Handbook
130.75 € -9 % -
Biodesign
105.09 € -
Computational Nanomedicine and Nanotechnology
100.64 € -9 % -
Safety Risk Management for Medical Devices
148.13 € -
Introduction to Biomaterials
81.54 € -
Clinical Simulation
218.16 € -
Comparative Kinesiology of the Human Body
164.91 € -10 % -
Wearable Robotics
218.16 € -
Analog Electronics for Radiation Detection
113.07 € -
Biomedical Microsystems
164.91 € -
Medical Device Quality Management Systems
174.81 € -
MATLAB Programming for Biomedical Engineers and Scientists
54.56 € -
Inspection of Medical Devices
140.86 € -9 % -
Rehabilitation Robotics and Healthcare Devices
176.63 € -
Glucose Monitoring Devices
142.37 € -
Essential Current Concepts in Stem Cell Biology
75.58 € -9 % -
Principles of Biomedical Instrumentation
107.81 € -
Medical Device Design
141.87 € -10 % -
Carbon Quantum Dots in Biomedical Applications
261.41 € -
Biomechanics of Human Motion
243.63 € -
Biomechanics for Instructors
120.75 € -9 % -
Anthropology of Biomedicine 2e
69.11 € -4 % -
Synthetic Biopolymers for Drug Delivery
259.90 € -10 % -
Applied Science and Engineering of Wound Dressings and their Clinical Effectiveness
245.14 € -
Quantum Dot Nanocarriers for Drug Delivery
265.76 € -
Temporomandibular Joint Total Joint Replacement - TMJ TJR
174.71 € -7 % -
Artificial Intelligence in Dentistry
174.71 € -7 % -
Drug Delivery and Biomedical Applications of Porous Silicon-Based Nanocarriers
257.98 € -9 % -
Medical Imaging Application in Health Assessment and Disease Management
178.95 € -9 % -
Handbook of Thermosetting Foams, Aerogels, and Hydrogels
293.85 € -
Introduction to Synthetic Biology
90.63 € -9 % -
Handbook of Low-Level Laser Therapy
465.94 € -
Computational and Network Modeling of Neuroimaging Data
119.94 € -9 % -
Bioengineering Fluid Mechanics
94.37 € -
Engineering and Medicine in Extreme Environments
184.92 € -7 % -
Air-Puff Tonometers
129.54 € -
Biomaterials
250.30 € -
Biomedical Engineering Handbook
1417.76 € -
Stem Cells and Biomaterials for Regenerative Medicine
142.88 € -10 % -
Artificial Intelligence in Dentistry
174.71 € -7 % -
Bioelectricity
154.20 € -7 %
Shopping guide
Books by language
Collection points Bratislava a 12849 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25702 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)